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

Text

Date

ca. 1985

Author

Stoyan, Herbert

Extent

3 folders

Description

Includes note from publisher. See box H35 folder 102719265

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