A practical formal semantic definition and verification system for TYPED LISP

Web Site CiNii Available at 11 libraries

Bibliographic Information

Title
"A practical formal semantic definition and verification system for TYPED LISP"
Statement of Responsibility
Robert Cartwright, Jr
Publisher
  • Garland Pub.
Publication Year
  • 1980
Book size
24 cm

Search this Book/Journal

Notes

Originally presented as the author's thesis, Stanford Universiy, 1976

Bibliography: p. 73

Related Books

See more

Details 詳細情報について

Back to top