Artifact Details

Title

Correctness of a Compiler for ALGOL-Like Programs

Catalog Number

102720695

Type

Document

Description

Photocopy of article from Proceedings of Symposia in Applied Mathematics, Volume 19 : Mathematical Aspects of Comptuer Science (1967).

Date

1967

Author

McCarthy, John; Painter, James

Publisher

Stanford University

Extent

1 folder

Category

Article

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010