Olivier Danvy  Home/Search
Context Related
| daimi.aau.dk/pub/em...danvyipl91.ps.gz daimi.au.dk/pub/emp...danvyipl91.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: brics.dk/~danvy/research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes the automatic derivation of compiled patterns and of a pattern compiler by partial evaluation. Compiling a pattern is achieved by specializing a pattern matching program with respect to the pattern. Generating a pattern compiler is achieved by specializing the specializer with respect to the pattern matching program, i.e., by self-applying the partial evaluator. The compiled patterns and the compiler are semantics-based because they are obtained using meaning-preserving... (Update)
Context of citations to this paper: More
.... have always been customary for users of binding time analysis [16, 22] One of them amounts to considering source programs in CPS [4, 6], which suggests that source programs should be systematically CPS transformed [3] Muylaert Filho and Burn take the same stand for...
.... (list examples object.scm ) main) load program genext) specialize goal ( goal) pm Olivier Danvy s pattern matcher [7] (define genext (cogen driver (list examples pm.scm ) match 0 1) unify imperative uni cation of terms where variables are...
Cited by: More
Secure Information Flow via Linear Continuations - Zdancewic, Myers (2002) (Correct)
Dynamic Optimization through the use of Automatic Runtime.. - Whaley (1999) (Correct)
Similix 5.0 Manual - Bondorf (1993) (Correct)
Similar documents based on text: More All
0.1: Continuation-Based Partial Evaluation - Lawall, Danvy (1993) (Correct)
0.1: Automatic Autoprojection of Recursive Equations with Global.. - Bondorf, Danvy (1990) (Correct)
0.1: A Computational Formalization for Partial Evaluation - Hatcliff, Danvy (1997) (Correct)
Related documents from co-citation: More All
9: An experiment in partial evaluation: The generation of a compiler generator (context) - Jones, Sestoft et al. - 1985
8: MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (context) - Jones, Sestoft et al. - 1989
8: Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
BibTeX entry: (Update)
Olivier Danvy. Semantics-directed compilation of non-linear patterns. Technical Report 303, Computer Science Department, Indiana University, January 1990. http://citeseer.ist.psu.edu/danvy90semanticsdirected.html More
@article{ danvy91semanticsdirected,
author = "Olivier Danvy",
title = "Semantics-Directed Compilation of Nonlinear Patterns",
journal = "Information Processing Letters",
volume = "37",
number = "6",
pages = "315-322",
year = "1991",
url = "citeseer.ist.psu.edu/danvy90semanticsdirected.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.brics.dk/~danvy/research.html): More
Separating Stages in the Continuation-Passing Style.. - Lawall, Danvy (1993) (Correct)
CPS Transformation after Strictness Analysis - Danvy, Hatcliff (1993) (Correct)
Back to Direct Style II: First-Class Continuations - Danvy, Lawall (1995) (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