Artifact Details

Title

Draft of Maschinen-unabhaengige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation [Machine-independent Code Generation as Provable Semantics Preserving Program Transformation]

Catalog Number

102719604

Type

Document

Description

Includes note from publisher. See box H35 folder 102719265

Date

ca. 1985

Author

Stoyan, Herbert

Extent

3 folders

Category

Technical Paper or Note

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Manuals, manuscripts, and subject files; Personal papers

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010