A practical formal semantic definition and verification system for TYPED LISP /

A practical formal semantic definition and verification system for TYPED LISP /

Kaydedildi:
Detaylı Bibliyografya
Yazar: Cartwright, Robert, 1949-
Materyal Türü: Tez Kitap
Dil:English
Baskı/Yayın Bilgisi: [Stanford, CA] : Computer Science Department, Stanford University, 1976.
Seri Bilgileri:Report (Stanford University. Dept. of Computer Science) ; no. STAN-CS-77-592.
Memo (Stanford University. Artificial Intelligence Laboratory) ; AIM-296.
Konular:
LISP (Computer program language)
Programming languages (Electronic computers) > Semantics.
Computer programs > Verification.
Diğer Bilgiler
Fiziksel Özellikler:v, 153 p. : ill.
Bibliyografya:Bibliography: p. 73.

Benzer Materyaller