12 search results - page 3 / 3 » ershov 1999 |
ERSHOV
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
ERSHOV
1999
Springer
13 years 9 months ago
1999
Springer
The traditional representation of a program is as a linear sequence of text. At some stage in the execution sequence the source text is checked for type correctness and its transla...