Luddy School of Informatics, Computing, and Engineering
Technical Report TR290:
Derivation of an SECD Machine: Experience with a Transformational Approach to Synthesis
Robert M. Wehrmeister
The abstact is not available. Please see the full paper.
Sorry, no electronic version of this paper is currently available. See
The Trustees of