MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Tag Elimination and Jones-Optimality

Download:
Download as a PDF | Download as a PS
unknown authors
http://cs-www.cs.yale.edu/homes/taha/publications/preprints/pado00.ps
Add To MetaCart

Abstract:

Abstract. Tag elimination is a program transformation for removing unnecessary tagging and untagging operations from automatically generated programs. Tag elimination was recently proposed as having immediate applications in implementations of domain specic languages (where it can give a two-fold speedup), and may provide a solution to the long standing problem of Jones-optimal specialization in the typed setting. This paper explains in more detail the role of tag elimination in the implementation of domain-specic languages, presents a number of signi-cant simplications and a high-level, higher-order, typed self-applicable interpreter. We show how tag elimination achieves Jones-optimality 1

Citations

168 Multi-stage programming with explicit annotations – Taha, Sheard - 1997
147 Reflection and Semantics in a Procedural Language – Smith - 1982
37 Encoding types in ML-like languages – Yang - 1998
31 An idealized MetaML: Simpler, and more expressive – Moggi, Taha, et al. - 1999
28 LEAP: A language with eval and polymorphism – Pfenning, Lee - 1989
27 Challenging problems in partial evaluation and mixed computation – Jones
26 On abstraction and the expressive power of programming lan-guages, Science of Computer Programming – Mitchell - 1993
19 A simple solution to type specialization – Danvy - 1998
19 Safe polymorphic type inference for a dynamically typed language: translating Scheme to ML – Henglein, Rehof - 1995
17 On Jones-optimal specialization for strongly typed languages – Makholm - 2000
16 The theory of fexprs is trivial – Wand - 1998
10 A sound reduction semantics for untyped CBN mutli-stage computation. Or, the theory of MetaML is non-trivial – Taha - 2000
9 Tag elimination – or – type specialisation is a type-indexed effect – Taha, Makholm - 2000
7 Inherited limits – Mogensen - 1999
5 Type specialization – Hughes - 1998
5 The correctness of type specialisation – Hughes - 2000
View or Download | Add to My Collection | Correct Errors