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

102719603

Type

Text

Date

ca. 1985

Author

Stoyan, Herbert

Extent

1 folder

Description

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