A practical formal semantic definition and verification system for TYPED LISP /
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
[Stanford, CA] :
Computer Science Department, Stanford University,
1976.
|
| Series: | Report (Stanford University. Dept. of Computer Science) ;
no. STAN-CS-77-592. Memo (Stanford University. Artificial Intelligence Laboratory) ; AIM-296. |
| Subjects: |
| LEADER | 01561nam a2200313 a 4500 | ||
|---|---|---|---|
| 001 | c000159237 | ||
| 003 | CARM | ||
| 005 | 20020110095524.0 | ||
| 008 | 840224s1976 caua rb 000 0 eng d | ||
| 019 | 1 | |a 23294618 |5 LACONCORD2021 | |
| 035 | |a (OCoLC)223214759 |5 LACONCORD2021 | ||
| 040 | |a CPaHP |b eng |c CPaHP |d VU | ||
| 100 | 1 | |a Cartwright, Robert, |d 1949- | |
| 245 | 1 | 2 | |a A practical formal semantic definition and verification system for TYPED LISP / |c by Robert Cartwright, Jr. |
| 260 | |a [Stanford, CA] : |b Computer Science Department, Stanford University, |c 1976. | ||
| 300 | |a v, 153 p. : |b ill. | ||
| 490 | 1 | |a Memo / Stanford Artificial Intelligence Laboratory ; |v AIM-296. | |
| 490 | 1 | |a Report / Computer Science Department, Stanford University ; |v no. STAN-CS-77-592. | |
| 502 | |a Thesis (Ph.D.)--Stanford University, 1976. | ||
| 504 | |a Bibliography: p. 73. | ||
| 533 | |a Photocopy. |b Stanford, CA : |c Computer Science Department, Stanford University : |c 1976. |e 28 cm. | ||
| 650 | 0 | |a LISP (Computer program language) | |
| 650 | 0 | |a Programming languages (Electronic computers) |x Semantics. | |
| 650 | 0 | |a Computer programs |x Verification. | |
| 830 | 0 | |a Report (Stanford University. Dept. of Computer Science) ; |v no. STAN-CS-77-592. | |
| 830 | 0 | |a Memo (Stanford University. Artificial Intelligence Laboratory) ; |v AIM-296. | |
| 852 | 8 | |b CARM |h A2:AL27D0 |i D05620 |p 0209444 |f BK | |
| 999 | f | f | |i f4dc49be-8795-5f58-a8a1-e730513f46a2 |s aae5e7a0-587c-5249-929e-b9b9bd29db34 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e D05620 |f A2:AL27D0 |h Other scheme |i book |m 0209444 |