Futamura projection

GPTKB entity

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