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
Document
Description
See box H35 folder 102719265
Date
ca. 1985
Author
Stoyan, Herbert
Extent
1 folder
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
