Jesper Jrgensen. Compiler generation by partial evaluation. Master's thesis, DIKU, University of Copenhagen, Denmark, 1991.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... to collect and exploit information about previous partial matches, taking care to make this information static, and showed that partial evaluation of the instrumented matcher would produce efficient Knuth Morris Pratt style matchers [11] J rgensen applied the same idea to tree pattern matching [9, 10]. He studied a general tree pattern matcher, taking two inputs: a match, which is a sequence of patterns , and an object term. The matcher finds the first pattern (if any) which is matched by the object. J rgensen showed that the instrumentation approach carries over to the new setting, producing ....

....which would record the outcome of previous tests and use a theorem prover to decide subsequent tests. Apparently it was not implemented. Consel and Danvy [3] demonstrated that even a simple partial evaluator could generate KMP style string matchers from an instrumented naive matcher. J rgensen [9, 10] applied the instrumentation approach to tree pattern matching, and showed that efficient compiled matches were generated; his work is a close precursor of the present work. J rgensen also discussed several of the techniques presented here, but did not obtain a stand alone match compiler by ....

J. Jørgensen. Compiler generation by partial evaluation. Master's thesis, DIKU, University of Copenhagen, Denmark, 1992. Student Project 92-1-4.

.... studied for a wide variety of programming languages [4, 9, 13, 36] Both its theoretical and practical aspects have led to major advances of the technology [10, 22, 35] Researchers have illustrated the potentials of this technology by applying it to various problems such as compiler generation [1, 15, 26, 29, 30], graphics applications [6, 25, 34] and scientific computing [7, 8, 24, 31] Ultimately, just like a compiler, a partial evaluator is a tool. As such, research in the field should also aim at developing systems capable of exploiting specialization opportunities in applications written by ....

J. Jørgensen. Compiler generation by partial evaluation. Master's thesis, DIKU, University of Copenhagen, Denmark, 1992. Student Project 92-1-4.

....because they are written in higher order languages. Bondorf [7] studies the automatic generation of a compiler for a lazy higher order functional language from an interpreter. J rgensen shows that optimizing compilers for realistic functional languages can be generated by rewriting an interpreter [30, 31]. Consel and Danvy [17] use partial evaluation to compile Algol to tail recursive Scheme. However, they attribute their success to sophisticated features of the partial evaluator they use, Schism, such as partially static data structures and higher order functions. Burke and Consel [12] translate ....

Jesper Jørgensen. Compiler generation by partial evaluation. Master's thesis, DIKU, University of Copenhagen, 1991.

....because they are written in higher order languages. Bondorf [3] studies the automatic generation of a compiler for a lazy higher order functional language from an interpreter. J rgensen shows that optimizing compilers for realistic functional languages can be generated by rewriting an interpreter [22, 23]. Consel and Danvy [11] use partial evaluation to compile Algol to tail recursive Scheme. They attribute their success to sophisticated features of their partial evaluator, Schism, such as partially static data structures, combinator extraction, and higher order functions. The first mention of ....

JØRGENSEN, J. Compiler generation by partial evaluation. Master's thesis, DIKU, University of Copenhagen, 1991.

....interpreters were written in higher order languages. Bondorf [3] studies the automatic generation of a compiler for a lazy higher order functional language from an interpreter. J rgensen shows that optimizing compilers for realistic functional languages can be generated by rewriting an interpreter [22, 23]. Consel and Danvy [12] use partial evaluation to compile Algol to tailrecursive Scheme. They attribute their success to sophisticated features of their partial evaluator, Schism, such as partially static data structures, combinator extraction, and higher order functions. The first mention of ....

JØRGENSEN, J. Compiler generation by partial evaluation. Master's thesis, DIKU, University of Copenhagen, 1991.

.... this implies that the left hand side of the rule may not terminate, but the same does not hold for the right hand side (this gets even worse if expr2 contains side effects) 3 The BAWL language We will not give a formal description of the syntax of the BAWL language, but one can be found in [Jor91a] or in Appendix B. A program is called a script as in Orwell or Miranda and a script consists of definitions of types, type aliases, functions and conformals (constants defined via patterns, e.g. x,y) 1 2,fib 20) or primes in the example below; for the understanding of this paper, just think of ....

....ae 0 an initial variable environment. The function E that assigns meanings to expressions is shown in Appendix C. We have left out the semantics of constructors, pattern matching, guards and local definitions to make the description simpler. A detailed description of these aspects can be found in [Jor91a] Now it is simple to assign meaning to expressions in an interpreted environment: I script expr = E expr ae 0(S script ) 4.2 The structure of the interpreter The overall structure of the interpreter follows the semantics. It takes a script and an expression expr as input and evaluates expr in ....

[Article contains additional citation context not shown here]

Jesper Jørgensen. Compiler Generation by Partial Evaluation. Master's thesis, DIKU, University of Copenhagen, Denmark, student report, October 1991. Forthcoming.

No context found.

Jesper Jrgensen. Compiler generation by partial evaluation. Master's thesis, DIKU, University of Copenhagen, Denmark, 1991.

No context found.

J. Jørgensen, "Compiler generation by partial evaluation," Master's thesis, DIKU, University of Copenhagen, Denmark, 1991.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC