Artifact Details

Title

Proof by Semantic Attributes of a LISP Compiler

Catalog Number

102718976

Type

Text

Date

1977

Author

Deransart, P.

Publisher

Institut national de recherche en informatique et en automatique (INRIA)

Extent

1 folder

Description

Submitted to: Second Hungaria Computer Science Conference - Budapest, June 27 - July 2, 1977.

Category

Technical Report

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010