An Experiment with the Fourth Futamura Projection

Glück, Robert

doi:10.1007/978-3-642-11486-1_12

Cited by 3 publications

(8 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[10,27]). This seems worthwhile because bootstrapping has a number of potentially interesting applications including producing compiler generators for cross-compilers and domain-specific languages [11,12].…”

Section: Resultsmentioning

confidence: 99%

“…The compiler generator produced by three-step bootstrapping (10)(11)(12) on the lefthand side is thus textually identical to the one produced by the third Futamura projection. The equality confirms that the functionality and efficiency of the final cog does not depend on the initial cog, only on s. The time required to perform the bootstrapping is the sum of the times required by each step and is dependent on cog.…”

Section: Fullmentioning

confidence: 98%

“…The first potentially important property is that cog and cog , which we obtain in the second and third step (11,12), are functionally equivalent :…”

Section: Fullmentioning

confidence: 98%

“…A compiler generator produced by the third Futamura projection was observed to contain a straightforward function for converting binding-time-annotated programs into generating extensions [23]. The present work is also part of our investigation into the foundations of metacomputation including [1,4,[11][12][13][14][15]29].…”

Section: Related Workmentioning

confidence: 98%

“…In previous work, we explored the bootstrapping of compiler generators conceptually [11] based on an insight by Klimov and Romanenko [20, p. 6-7] and found that partial evaluation-based compiler generators are strong enough to carry out the initial step of bootstrapping [12]. To our knowledge, the results in this paper are the first to confirm that full three-step compiler-generator bootstrapping can be carried out in practice and that it is a viable and practical alternative to the third Futamura projection.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Bootstrapping Compiler Generators from Partial Evaluators

Glück

2012

Perspectives of Systems Informatics

Self Cite

View full text Add to dashboard Buy / Rent full text

Abstract. This paper shows that bootstrapping of compiler generators from program specializers is a viable alternative to the third Futamura projection. To practically validate the technique, a novel partial evaluation-based compiler generator was designed and implemented for a recursive flowchart language. Three-step bootstrapping was found to be faster and to produce the same compiler generator that Gomard and Jones produced two decades ago by double self-application. Compilergenerator bootstrapping has distinct properties that are not present in the classic three Futamura projections, such as the ability to turn a specializer into a compiler generator in one step without self-application. Up to now, the approach of hand-writing compiler generators has only been used to avoid difficulties when specializing strongly-typed languages, not as a first step towards compiler-generator bootstrapping.

show abstract

Section: Resultsmentioning

confidence: 99%

Section: Fullmentioning

confidence: 98%

“…The first potentially important property is that cog and cog , which we obtain in the second and third step (11,12), are functionally equivalent :…”

Section: Fullmentioning

confidence: 98%