Olivier Danvy, René Vestergaard  Home/Search
Context Related
| cee.hw.ac.uk/~jrve...aardplilp96.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cee.hw.ac.uk/~jrvest/W...writings (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We illustrate a simple and e#ective solution to semantics-based compiling. Our solution is based on "type-directed partial evaluation", and -- our compiler generator is expressed in a few lines, and is e#cient; -- its input is a well-typed, purely functional definitional interpreter in the style of denotational semantics; -- the output of the generated compiler is e#ectively three-address code, in the fashion and e#ciency of the Dragon Book; -- the generated compiler processes several... (Update)
Context of citations to this paper: More
...their complicated structure makes them infamously dicult to prove correct. In contrast, semantics based approaches to compilation [4, 7, 12, 28] are more amenable to formal proofs of correctness, but they fall short by comparison in the area of code optimization. The compiler...
.... this signature with either the runtime realization, yielding an interpreter, or with the residualizing signature, yielding a compiler [8, 11]. Amusingly, the specializer does not even need the actual text of the specification, only its representation as an already compiled...
Cited by: More
Normalization and Partial Evaluation - Dybjer, Filinski (2002) (Correct)
Memoization in Type-Directed Partial Evaluation - Balat, Danvy (2002) (Correct)
A Semantic Account of Type-Directed Partial Evaluation - Filinski (1999) (Correct)
Similar documents (at the sentence level):
79.9%: From Proof Normalization to Compiler Generation and.. - Vestergaard (1997) (Correct)
39.7%: Semantics-Based Compiling: A Case Study in Type-Directed.. - Danvy, Vestergaard (1996) (Correct)
Active bibliography (related documents): More All
0.3: Static and Dynamic Semantics Processing - Consel, Danvy (1991) (Correct)
0.3: Formal Methods - Selected Historical References - Jones, McCauley (1992) (Correct)
0.3: Generating an Efficient Compiler for a Data Parallel.. - Ringström, Fritzson, .. (Correct)
Similar documents based on text: More All
0.4: Cut Rules and Explicit Substitutions - Vestergaard, Wells (1999) (Correct)
0.1: Type-Directed Partial Evaluation - Danvy (1996) (Correct)
0.1: Compiling Actions by Partial Evaluation, Revisited - Danvy, Rhiger (1998) (Correct)
Related documents from co-citation: More All
20: Type-directed partial evaluation - Danvy
16: Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
9: Realistic Compiler Generation (context) - Lee - 1989
BibTeX entry: (Update)
Olivier Danvy and Rene Vestergaard. Semantics-based compiling: A case study in type-directed partial evaluation. In Kuchen and Swierstra [33], pages 182--197. http://citeseer.ist.psu.edu/372108.html More
@inproceedings{ danvy96semanticsbased,
author = "Olivier Danvy and Rene Vestergaard",
title = "Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation",
booktitle = "{PLILP}",
pages = "182-197",
year = "1996",
url = "citeseer.ist.psu.edu/372108.html" }
Citations (may not include all citations):866 Techniques and Tools (context) - Aho, Sethi et al. - 1986
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
353 Generating a compiler for a lazy language by partial evaluat.. (context) - Jrgensen - 1992
346 Denotational Semantics: The Scott-Strachey Approach to Progr.. (context) - Stoy - 1977
221 Denotational Semantics: A Methodology for Language Developme.. (context) - Schmidt - 1986
206 Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993
184 Definitional interpreters for higher-order programming langu.. (context) - Reynolds - 1972
155 The essence of compiling with continuations - Flanagan, Sabry et al. - 1993
131 The essence of Algol (context) - Reynolds - 1982
122 Type-directed partial evaluation - Danvy - 1996
106 Essentials of Programming Languages (context) - Friedman, Wand et al. - 1991
98 MIX: A self-applicable partial evaluator for experiments in .. (context) - Jones, Sestoft et al. - 1989
96 Automatic autoprojection of recursive equations with global .. - Bondorf, Danvy - 1991
86 A correspondence between Algol 60 and Church's lambda notati.. (context) - Landin - 1965
63 Realistic Compiler Generation (context) - Lee - 1989
56 A Theory of Programming Language Semantics (context) - Milne, Strachey - 1976
40 Deriving target code as a representation of continuation sem.. (context) - Wand - 1982
38 Static and dynamic semantics processing - Consel, Danvy - 1991
38 volume 34 of Cambridge Tracts in Theoretical Computer Scienc.. (context) - Nielson, Nielson et al. - 1992
33 A semantic prototyping system (context) - Wand
31 Theory and practice of Action Semantics - Mosses - 1996
28 Compilers and staging transformations (context) - Jrring, Scherlis - 1986
26 Categorical reconstruction of a reduction-free normalization.. - Altenkirch, Hofmann et al. - 1995
26 A generic account of continuation-passing styles (context) - Hatcli, Danvy - 1994
22 SIS --- semantics implementation system (context) - Mosses - 1979
18 Algol 60 Implementation (context) - Randell, Russell - 1964
17 Semantics-based compiling: A case study in type-directed par.. - Danvy, Vestergaard - 1996
13 Pragmatics of type-directed partial evaluation (context) - Danvy - 1996
13 Compiler generation from denotational semantics (context) - Paulson - 1984
11 Control flow aspects of semantics-directed compiling (context) - Sethi
11 Semantics-Directed Compiler Generation (context) - Jones - 1980
8 A truly generative semantics-directed compiler generator (context) - Ganzinger, Giegerich et al.
8 Some mathematical aspects of functional programming (context) - Stoy - 1982
7 Denotational semantics as a specification of code generators (context) - Raskovsky
7 Compiler prototyping using formal semantics (context) - Pleban
7 From interpreter to compiler: a representational derivation (context) - Wand - 1985
6 The next 700 formal language descriptions (context) - Morris - 1993
5 An inverse of the evaluation functional for typed #-calculus (context) - Berger, Schwichtenberg - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cee.hw.ac.uk/~jrvest/Writings/writings.html): More
The Cut Rule and Explicit Substitutions - Vestergaard (1998) (Correct)
Revisiting Kreisel: A Computational Anomaly in the.. - Vestergaard (1999) (Correct)
Semantics-Based Compiling: A Case Study in Type-Directed.. - Danvy, Vestergaard (1996) (Correct)
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