On the scope of static checking in definitional languages - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Boleslaw K. Szymanski, Noah S. Prywes, Evan D. Lock, Amir Pnueli. On the scope of static checking in definitional languages. In Richard L. Muller, James J. Pottmyer, editors, Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984. pages 197-207, ACM, 1984. [doi]

This author has not been identified. Look up 'Boleslaw K. Szymanski' in GoogleThis author has not been identified. Look up 'Noah S. Prywes' in GoogleThis author has not been identified. Look up 'Evan D. Lock' in GoogleIdentified as Amir Pnueli

runs on WebDSL