Olivier Danvy, René Vestergaard  Home/Search
Context Related
| brics.dk/RS/96/13/...ICSRS9613.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 effective solution to semantics-based compiling. Our solution is based on type-directed partial evaluation, where ffl our compiler generator is expressed in a few lines, and is efficient; ffl its input is a well-typed, purely functional definitional interpreter in the manner of denotational semantics; ffl the output of the generated compiler is three-address code, in the fashion and efficiency of the Dragon Book; ffl 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):
44.1%: From Proof Normalization to Compiler Generation and.. - Vestergaard (1997) (Correct)
40.8%: Semantics-Based Compiling: A Case Study in Type-Directed.. - Danvy, Vestergaard (Correct)
Active bibliography (related documents): More All
0.5: Optimising the Memory Management of Higher-Order Functional.. - Mohnen (1997) (Correct)
0.3: Static and Dynamic Semantics Processing - Consel, Danvy (1991) (Correct)
0.3: The Semantics and Implementation of Bindings in Higher-Order.. - Banerjee (1995) (Correct)
Similar documents based on text: More All
1.5: Back to Direct Style II: First-Class Continuations - Danvy, Lawall (1996) (Correct)
1.4: A Simple Take on Typed Abstract Syntax in Haskell-like Languages - Danvy, Rhiger (2000) (Correct)
1.3: Eta-Expansion does the Trick - Danvy, Malmkjaer, Palsberg (1996) (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/article/danvy96semanticsbased.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/article/danvy96semanticsbased.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
346 Denotational Semantics: The Scott-Strachey Approach to Progr.. (context) - Stoy - 1977
254 Revised 4 report on the algorithmic language Scheme - Clinger, Rees - 1991
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
112 Partial evaluation of computation process -- an approach to .. - Futamura - 1971
106 Essentials of Programming Languages (context) - Friedman, Wand et al. - 1991
98 MIX: A selfapplicable partial evaluator for experiments in c.. (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
70 Preliminary design of the programming language Forsythe (context) - Reynolds - 1988
68 Program Flow Analysis: Theory and Applications (context) - Muchnick, Jones - 1981
63 Realistic Compiler Generation (context) - Lee - 1989
56 A Theory of Programming Language Semantics (context) - Milne, Strachey - 1976
42 The Structure of Typed Programming Languages (context) - Schmidt - 1994
40 Deriving target code as a representation of continuation sem.. (context) - Wand - 1982
38 volume 34 of Cambridge Tracts in Theoretical Computer Scienc.. (context) - Nielson, Nielson et al. - 1992
38 Static and dynamic semantics processing - Consel, Danvy - 1991
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 A generic account of continuationpassing styles (context) - Hatcliff, Danvy - 1994
22 SIS --- semantics implementation system (context) - Mosses - 1979
18 Algol 60 Implementation (context) - Randell, Russell - 1964
16 and block structure (context) - Oles, functor - 1985
13 Compiler generation from denotational semantics (context) - Paulson - 1984
13 Pragmatics of type-directed partial evaluation (context) - Danvy - 1996
11 Semantics-Directed Compiler Generation (context) - Jones - 1980
11 Control flow aspects of semantics-directed compiling (context) - Sethi
8 A truly generative semantics-directed compiler generator (context) - Ganzinger, Giegerich et al.
8 Some mathematical aspects of functional programming (context) - Stoy - 1982
7 Block structure: Retention or deletion (context) - Berry - 1971
7 Category-sorted algebra-based action semantics (context) - Even, Schmidt - 1990
7 Generating a compiler for a lazy language by partial evaluat.. - Jrgensen - 1992
7 Compiler prototyping using formal semantics (context) - Pleban
7 Denotational semantics as a specification of code generators (context) - Raskovsky
6 The next 700 formal language descriptions (context) - Morris - 1993
2 number 217 in Lecture Notes in Computer Science (context) - Ganzinger, Jones et al. - 1985
1 Multilevel functions in martin-Lof's type theory (context) - Nordstrom
1 Programming and Martin-Lof's Type Theory (context) - Nordstrom, Petersson et al. - 1990
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)
Cut Rules and Explicit Substitutions - Vestergaard, Wells (1999) (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