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

Պահպանված է:

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Cartwright, Robert, 1949-
Ձևաչափ:	Թեզիս Գիրք
Լեզու:	English
Հրապարակվել է:	[Stanford, CA] : Computer Science Department, Stanford University, 1976.
Շարք:	Report (Stanford University. Dept. of Computer Science) ; no. STAN-CS-77-592. Memo (Stanford University. Artificial Intelligence Laboratory) ; AIM-296.
Խորագրեր:	LISP (Computer program language) Programming languages (Electronic computers) > Semantics. Computer programs > Verification.

Պահումների մանրամասները CARM 1 Store
Դասիչ:	A2:AL27D0 D05620
Պատճեն 1	Հասանելի է Տեղադրեք պահում

Նմանատիպ նյութեր