Title
Maschinen-unabhaengige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation [Machine-independent Code Generation as Provable Semantics Preserving Program Transformation]
Catalog Number
102719265
Type
Document
Description
Typed manuscript, 365 pages.
Date
1983
Author
Stoyan, Herbert
Publisher
Friedrich-Alexander-Universität Erlangen-Nürnberg (University of Erlangen)
Extent
1 folder
Category
Technical Paper or Note
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Lisp history by year
Credit
Gift of Herbert Stoyan