Artifact Details

Title

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

Catalog Number

102719265

Type

Text

Date

1983

Author

Stoyan, Herbert

Publisher

Friedrich-Alexander-Universität Erlangen-Nürnberg (University of Erlangen)

Extent

1 folder

Description

Typed manuscript, 365 pages.

Category

Technical Paper or Note

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010