Sofoklis G. Efremidis, Khalid A. Mughal, John H. Reppy  Home/Search
Context Related
| ii.uni.wroc.pl/~to...trefremidis.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: ii.uni.wroc.pl/~tomasz/sml/doc... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Attribute grammars are a valuable tool for constructing compilers and building user interfaces. This paper reports on a system we are developing, called AML (for Attribution in ML), which is an attribute grammar toolkit for building such applications as language-based programming environments using SML. This system builds on the proven technology of efficient attribute evaluation, while using a higher-level foundation for the implementation of interactive systems. It supports a general and... (Update)
Context of citations to this paper: More
...generation of attribute evaluators. In fact, there exists an ionlinej translation of AG speci cations into functional programs (see [Joh87, EMR93] but the resulting programs require, in the worst case, a kind of non strict evaluation called lenient [SG95, Tre94] Lenient...
...and future plans. An earlier description of this project was presented in [4] This paper is an updated version of the technical report [5]. 2. Attribute grammars An attribute grammar is a context free grammar (CFG) together with a set of attributes for each nonterminal and a...
Cited by: More
Multiple Attribute Grammar Inheritance - Mernik, Lenic, Avdicausevic, Zumer (1999) (Correct)
AML: Attribute Grammars in ML - Efremidis, Mughal, Reppy, al. (1997) (Correct)
Attribute Grammars and Folds: Generic Control Operators - Duris, Parigot, Roussel.. (1996) (Correct)
Active bibliography (related documents): More All
0.5: Pattern-Based Languages for Prototyping of Compiler Optimizers - Charles Donald Farnum (1990) (Correct)
0.4: CACHET: An interactive, incremental-attribution-based program.. - Liu (Correct)
0.4: First-class Attribute Grammars - de Moor (1999) (Correct)
Similar documents based on text: More All
0.5: On the Efficient Incremental Evaluation of Higher Order.. - Vogt, Swierstra, Kuiper (1990) (Correct)
0.5: Incremental Evaluators for Remote Attribute Grammars - Boyland (2002) (Correct)
0.4: Extensible Attribute Grammars - Marti, Murer (1992) (Correct)
Related documents from co-citation: More All
3: Composable attribute grammars: Support for modularity in translator design and i.. (context) - Farrow, Marlowe et al. - 1992
2: Higher Order Attribute Grammars - Vogt - 1993
2: Modular Attribute Grammars (context) - Dueck, Cormack - 1990
BibTeX entry: (Update)
Sofoklis G. Efremidis, Khalid A Mughal, and John H. Reppy. AML: Attribute grammars in ML. Tr 93-1401, Cornell University, December 1993. http://citeseer.ist.psu.edu/article/efremidis93aml.html More
@article{ efremidis97aml,
author = "Sofoklis G. Efremidis and Khalid A. Mughal and John H. Reppy and Lars S{\o}raas",
title = "{AML}: Attribute Grammars in {ML}",
journal = "Nordic Journal of Computing",
volume = "4",
number = "1",
month = "Spring",
pages = "37--65",
year = "1997",
url = "citeseer.ist.psu.edu/article/efremidis93aml.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
245 Semantics of context-free languages (context) - Knuth - 1968
171 The Synthesizer Generator: A System for Constructing Languag.. (context) - Reps, Teitelbaum - 1988
49 Ordered attribute grammars (context) - Kastens - 1980
38 Higher order attribute grammars - Vogt, Swierstra et al. - 1989
32 Incremental attribute evaluation: A flexible algorithm for l.. (context) - Hudson - 1991
28 Composable attribute grammars: Support for modularity in tra.. (context) - Farrow, Marlow et al. - 1992
28 GAG: A Practical Compiler Generator (context) - Kastens, Hutt et al. - 1982
26 Department of Computer Science - Griffin, environment - 1987
24 Incremental Graph Evaluation (context) - Hoover - 1987
17 A Multi-threaded Higher-order User Interface Toolkit - Gansner, Reppy - 1993
16 Modular attribute grammars (context) - Dueck, Cormack - 1988
15 Attribute evaluation methods (context) - Alblas - 1991
14 Automatic generation of fixed-point-finding evaluators for c.. (context) - Farrow - 1986
11 Efficient evaluation of circular attribute grammars (context) - Jones - 1990
9 Higher-order attribute grammars and editing environments (context) - Teitelbaum, Chapman - 1990
8 Dynamically bypassing copy rule chains in attribute grammars (context) - Hoover - 1986
7 Pattern-based tree attribution (context) - Farnum - 1992
7 Attribute grammars as a specification method (context) - Kastens - 1991
6 A foundation for programming environments (context) - Reppy, Gansner - 1986
5 Incremental attribute evaluation (context) - Alblas - 1991
5 The POE language-based editor project (context) - Fischer, Johnson et al. - 1984
4 Interactive proof checking (context) - Reps, Alpern - 1984
3 Incremental evaluation for a general class of circular attri.. (context) - Walz, Johnson - 1988
3 A survey of parallel evaluation methods (context) - Jourdan - 1991
2 Generation of Runtime Facilities for Program Editors (context) - Mughal - 1988
2 Efficient abstractions for the implementation of structured .. (context) - Hood - 1985
2 Attribute grammars in ML (context) - Efremidis, Mughal et al. - 1992
1 Transactions on Parallel and Distributed Systems (context) - Klaiber, Gokhale - 1992
Documents on the same site (http://www.ii.uni.wroc.pl/~tomasz/sml/doc/): More
Compile-time Detection of Uncaught Exceptions in Standard ML Programs - Yi (1994) (Correct)
ForML - a Pretty-Printing Facility for SML - Rohwedder (1993) (Correct)
Tree Pattern Matching for ML (Extended Abstract) - Baudinet, MacQueen (1985) (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