William L. Harrison, Samuel N. Kamin  Home/Search
Context Related
| uiuc.edu/~kamin/pubs/harrison.ps 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: uiuc.edu/~kamin/pubs/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a modular and extensible style of language specification based on metacomputations. This style uses two monads to factor the static and dynamic parts of the specification, thereby staging the specification and achieving strong binding-time separation. Because metacomputations are defined in terms of monads, they can be constructed modularly and extensibly using monad transformers. A number of language constructs are specified: expressions, control-flow, imperative features,... (Update)
Cited by: More
Reusable Monadic Semantics of Object Oriented Programming.. - Gayo, Lovelle, Diez, Rio (Correct)
A Language Prototyping Tool Based on Semantic Building.. - Gayo, Lovelle, Diez.. (2001) (Correct)
Similar documents (at the sentence level):
42.1%: Metacomputation-based Compiler Architecture - Harrison, Kamin (2000) (Correct)
17.5%: Modular Compilers Based on Monad Transformers - Harrison, Kamin (1998) (Correct)
Active bibliography (related documents): More All
0.3: Deriving Compilers from Monadic Semantics - Harrison, Kamin (1997) (Correct)
0.2: Compilation as Partial Evaluation of Functor Category Semantics - Harrison, Kamin (1997) (Correct)
0.2: Automatic Generation and Management of Program Analyses - Yi (1993) (Correct)
Similar documents based on text: More All
0.4: Using Catamorphisms, Subtypes and Monad Transformers for.. - Duponcheel (1995) (Correct)
0.3: Dynamically Adaptable Software with Metacomputations in a.. - Harrison, Sheard (2001) (Correct)
0.2: Combining Monads - King, Wadler (1992) (Correct)
Related documents from co-citation: More All
2: Writing modular interpreters using Catamorphisms (context) - Duponcheel - 1995
2: A fold for all seasons - Sheard, Fegaras - 1993
2: Modular denotational semantics for compiler construction - Liang, Hudak - 1996
BibTeX entry: (Update)
William Harrison and Samuel Kamin. Compilation as metacomputation: Binding time separation in modular compilers. In 5th Mathematics of Program Construction Conference, MPC2000, Ponte de Lima, Portugal, June 2000. http://citeseer.ist.psu.edu/harrison98compilation.html More
@misc{ harrison00compilation,
author = "W. Harrison and S. Kamin",
title = "Compilation as metacomputation: Binding time separation in modular compilers",
text = "William Harrison and Samuel Kamin. Compilation as metacomputation: Binding
time separation in modular compilers. In 5th Mathematics of Program Construction
Conference, MPC2000, Ponte de Lima, Portugal, June 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/harrison98compilation.html" }
Citations (may not include all citations):638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
521 Compiling with Continuations (context) - Appel - 1992
346 Denotational Semantics: the Scott-Strachey Approach to Progr.. (context) - Stoy - 1977
293 The essence of functional programming - Wadler - 1992
143 A Modal Analysis of Staged Computation - Davies, Pfenning - 1996
131 The Essence of Algol (context) - Reynolds - 1981
122 Type-Directed Partial Evaluation - Danvy - 1996
120 Monad Transformers and Modular Interpreters - Liang, Hudak et al. - 1995
87 Notions of Computation and Monads - Moggi - 1991
63 Realistic Compiler Generation (context) - Lee - 1989
57 Modern Compiler Implementation in ML (context) - Appel - 1998
41 Ullman Compilers: Principles (context) - Aho, Sethi - 1986
40 Deriving Target Code as a Representation of Continuation Sem.. (context) - Wand - 1982
36 Cambridge University Press (context) - Mosses, Semantics - 1992
28 Automatic Binding Time Analysis for a Typed -calculus (context) - Nielson, Nielson - 1988
23 Separating Binding Times in Language Specifications (context) - Mogensen - 1989
20 Modular Compilers Based on Monad Transformers - Harrison, Kamin - 1998
17 Semantics-Based Compiling: A Case Study in Type-Directed Par.. - Danvy, Vestergaard - 1996
15 Compilers and Staging Transformations (context) - Jorring, Scherlis - 1986
15 Using Functor Categories to Generate Intermediate Code (context) - Reynolds - 1995
12 Modular Monadic Semantics and Compilation (context) - Liang - 1997
9 A Modular Semantics for Compiler Generation (context) - Liang - 1995
7 Semantic Lego - Espinosa - 1995
4 Code Generation from two-level denotational metalanguages (context) - Nielson, Nielson - 1986
Documents on the same site (http://www-sal.cs.uiuc.edu/~kamin/pubs/index.html): More
Language implementation via lightweight embedded program.. - Kamin (Correct)
A Random Walk Through Functional Programming - Richard Gaylord (Correct)
Controlled Self-Applicable On-Line Partial Evaluation, Using.. - Beckman, Kamin (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