A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Removing value encoding using alternative values in partial evaluation of strongly-typed languages
[chapter]
1996
Lecture Notes in Computer Science
There is a main difference between a program which is interpreted by an interpreter written in a strongly-typed language and a compiled version. Such an interpreter usually uses a universal domain for the values it manipulates. A value encoding is necessary. A compiled program works directly on values. A layer of interpretation for value representation is inserted. On the other hand, a way to derive automatically a compiler from an interpreter is to use a partial evaluator applied to the
doi:10.1007/3-540-61055-3_30
fatcat:sgy2rn7cv5eyjppfxozrhf3adq