practical formal semantic definition and verification system for TYPED LISP
By: Robert Cartwright, Jr.
Series: Outstanding dissertations in the computer sciences
Publisher: Garland Pub.
Published: 1980
Place of publication: New York
Language: eng
Number of pages: 153
Subjects: LISP (Computer program language)
Notes: Bibliography: p. 73.
Originally presented as the author's thesis, Stanford Universiy, 1976.