Statements (20)
Predicate | Object |
---|---|
gptkbp:instanceOf |
program transformation technique
|
gptkbp:describes |
specialization of interpreters
|
gptkbp:field |
gptkb:programming_language
computer science |
gptkbp:firstDescribed |
1971
|
gptkbp:firstProjection |
specializing an interpreter with respect to a source program yields a compiled version of the program
|
https://www.w3.org/2000/01/rdf-schema#label |
Futamura projection
|
gptkbp:involves |
partial evaluation
|
gptkbp:namedAfter |
Yoshihiko Futamura
|
gptkbp:notableFor |
demonstrating the power of partial evaluation in automatic program generation
|
gptkbp:numberOfProjections |
three
|
gptkbp:publishedIn |
Information Processing 1971
|
gptkbp:relatedTo |
gptkb:compilation_album
interpreter compiler generator partial evaluator |
gptkbp:secondProjection |
specializing a specializer with respect to an interpreter yields a compiler
|
gptkbp:thirdProjection |
specializing a specializer with respect to itself yields a compiler generator
|
gptkbp:bfsParent |
gptkb:Hideki_Futamura
|
gptkbp:bfsLayer |
7
|