A practical formal semantic definition and verification system for TYPED LISP

著者

• Cartwright, Robert

書誌事項

A practical formal semantic definition and verification system for TYPED LISP

Robert Cartwright, Jr

（Outstanding dissertations in the computer sciences）

Garland Pub., 1980

注記

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

Bibliography: p. 73

詳細情報

• NII書誌ID(NCID): BA25904050
• ISBN:
  • 0824044207
• LCCN: 79007306
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: v, 153 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.73.L23
  • DC : 001.6/424
• 件名:
  • LCSH : LISP (Computer program language)
• 親書誌ID:
  • BA1154457X