Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Robert Cartwright. A Practical Formal Semantic Definition and Verification System for TYPED LISP. Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, 1976.
Possibly Related PublicationsThe following publications are possibly variants of this publication: A practical formal semantic definition and verification system for TYPED LISPRobert Cartwright. PhD thesis, Stanford University, USA, 1977. [doi]
The following publications are possibly variants of this publication: