A practical formal semantic definition and verification system for TYPED LISP

Author(s)

• Cartwright, Robert

Bibliographic Information

A practical formal semantic definition and verification system for TYPED LISP

by Robert Cartwright

University Microfilms International, 1977

Note

Facsim. Reprint of the author's thesis (Ph.D.)--Stanford Universiy, 1977

Details

• NCID: BC07213303
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Ann Arbor
• Pages/Volumes: v, 153 leaves
• Size: 21 cm