The Second Futamura Projection for Type-Directed Partial Evaluation
| العنوان: | The Second Futamura Projection for Type-Directed Partial Evaluation |
|---|---|
| المؤلفون: | Bernd Grobauer, Zhe Yang |
| المصدر: | BRICS Report Series; No 40 (1999): RS-40 The Second Futamura Projection for Type-Directed Partial Evaluation BRICS Report Series; Nr. 40 (1999): RS-40 The Second Futamura Projection for Type-Directed Partial Evaluation Grobauer, B & Yang, Z 2001, ' The Second Futamura Projection for Type-Directed Partial Evaluation ' Higher-Order and Symbolic Computation, vol. 14, no. 2-3, pp. 173-219 . PEPM BRICS Report Series; No 44 (2000): RS-44 The Second Futamura Projection for Type-Directed Partial Evaluation BRICS Report Series; Nr. 44 (2000): RS-44 The Second Futamura Projection for Type-Directed Partial Evaluation |
| بيانات النشر: | Aarhus University, 1999. |
| سنة النشر: | 1999 |
| مصطلحات موضوعية: | typed functional language, Programming language, Computer science, generating extension, Process (computing), Context (language use), self-application, Extension (predicate logic), Type (model theory), computer.software_genre, Computer Graphics and Computer-Aided Design, computational effects, Partial evaluation, Imperative programming, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Compiler generation, partial evaluation, Compiler, Projection (set theory), Algorithm, computer, Software, Mathematics |
| الوصف: | A generating extension of a program specializes it with respect tosome specified part of the input. A generating extension of a programcan be formed trivially by applying a partial evaluator to the program;the second Futamura projection describes the automatic generationof non-trivial generating extensions by applying a partial evaluator toitself with respect to the programs.We derive an ML implementation of the second Futamura projection for Type-Directed Partial Evaluation (TDPE). Due to the differences between `traditional', syntax-directed partial evaluation andTDPE, this derivation involves several conceptual and technical steps.These include a suitable formulation of the second Futamura projection and techniques for making TDPE amenable to self-application. Inthe context of the second Futamura projection, we also compare andrelate TDPE with conventional offline partial evaluation.We demonstrate our technique with several examples, includingcompiler generation for Tiny, a prototypical imperative language. |
| وصف الملف: | application/pdf |
| اللغة: | English |
| تدمد: | 2381-3652 1601-5355 0909-0878 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22a5bcb4fbb641c7cfbcd2603cfede84 https://igi.indrastra.com/items/show/17102 |
| Rights: | OPEN |
| رقم الانضمام: | edsair.doi.dedup.....22a5bcb4fbb641c7cfbcd2603cfede84 |
| قاعدة البيانات: | OpenAIRE |
| تدمد: | 23813652 16015355 09090878 |
|---|