Luca Cardelli, Florian Matthes, Martin Abadi  Home/Search
Context Related
| digital.com/pub/DEC/SRC/...SRC121.ps.Z microsoft.com/Users/luca/P...SRC121.ps digital.com/SRC/personal...jmgrammar.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: digital.de/pub/DEC/S...srcrr121 (more) From: luca.demon.co.uk/Bibliography (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A frequent dilemma in programming language design is the choice between a language with a rich set of notations and a small, simple core language. We address this dilemma by proposing extensible grammars, a syntax-definition formalism for incremental language extensions and restrictions. The translation of programs written in rich object languages into a small core language is defined via syntax-directed patterns. In contrast to macroexpansion and program-rewriting tools, our extensible... (Update)
Context of citations to this paper: More
...the variable is bound. Since MacroML makes bindings explicit in a macro s form, it can make hygiene decisions statically. Cardelli et al. [8] define an extensible LL(1) parsing package with macro like features. A semantic action may not contain arbitrary code. Instead, it...
...Turing complete computations on parse trees which of course precludes our level of safety guarantees. The extensible grammars of [4] share our aims in many ways. The resulting tool is a parser generator that allows subsequent extensions of the language which must then be...
Cited by: More
Domain Specific Languages for Interactive Web Services - Brabrand (2002) (Correct)
Extensible Language Implementation - Kolbly (2002) (Correct)
Phobos: A front-end approach to extensible compilers - Granicz, Hickey (2003) (Correct)
Active bibliography (related documents): More All
0.5: An Object-Oriented Deductive Language - Caseau (1991) (Correct)
0.5: A Flexible Object Invocation Language based on.. - Evered, Schmolitzky.. (1995) (Correct)
0.4: Pleiades: An Object Management System for Software Engineering.. - Tarr (1993) (Correct)
Similar documents based on text: More All
0.9: Building User Interfaces by Direct Manipulation - Cardelli (1993) (Correct)
0.8: Obliq - A Language with Distributed Scope - Cardelli (1994) (Correct)
0.6: An implementation of F<: - Cardelli (1993) (Correct)
Related documents from co-citation: More All
5: The Java Syntactic Extender (context) - Bachrach, Playford
5: Hygienic macro expansion (context) - Kohlbecker, Friedman et al. - 1986
5: Growing languages with metamorphic syntax macros - Brabrand, Schwartzbach - 2000
BibTeX entry: (Update)
L. Cardelli, F. Matthes, and M. Abadi, Extensible Syntax with Lexical Scoping, Dec. SRC Research Report 121, Feb. 1994. http://citeseer.ist.psu.edu/cardelli94extensible.html More
@techreport{ cardelli94extensible,
author = "Luca Cardelli and Florian Matthes and Martin Abadi",
title = "Extensible Syntax with Lexical Scoping",
number = "121",
pages = "41",
year = "1994",
url = "citeseer.ist.psu.edu/cardelli94extensible.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1987
476 Programming Language (context) - Kernighan, Ritchie - 1977
90 Structural Recursion as a Query Language - Breazu-Tannen, Buneman et al. - 1991
68 Hygienic Macro Expansion (context) - Kohlbecker, Friedman et al. - 1992
63 Database Programming in Machiavelli---A Polymorphic Language.. - Ohori, Buneman et al. - 1989
53 Digital Equipment Corporation (context) - Cardelli, of et al. - 1993
38 Programmable Syntax Macros - Weise, Crew - 1993
37 Object-Oriented Programming without Recursive Types - Pierce, Turner - 1993
33 a Query Notation for DBPLs (context) - Trinder - 1991
24 Type-Safe Linguistic Reflection: A Generator Technology - Stemple, Stanton et al. - 1992
17 Syntactic Extensions in the Programming Language LISP (context) - Kohlbecker - 1986
12 A Survey of Adaptable Grammars (context) - Christiansen - 1990
11 Linguistic Reflection: A Bridge from Programming to Database.. (context) - Stemple, Sheard et al. - 1992
10 Naming and Scoping in a Mathematical Vernacular (context) - Dowek - 1990
8 Information processing systems---Database language SQL (context) - ISO - 1987
8 Bulk Types: Built-In or Add (context) - Matthes, Schmidt - 1991
7 Notational Definition---A Formal Account (context) - Griffin - 1988
7 Persistent Programming with Strongly Typed Linguistic Reflec.. (context) - Kirby - 1992
6 Computer Corporation of America (context) - Smith, Fox et al. - 1983
6 Type-safe Linguistic Reflection (context) - Stemple, Morrison - 1991
5 A Recursive Base for Database Programming Primitives (context) - Stemple, Sheard - 1991
5 Persistente Objektsysteme: Integrierte Datenbankentwicklung .. (context) - Matthes - 1993
5 Parsers in ML (context) - Mauny, Rauglaudre - 1992
4 Formalizing Objects for Databases using ADABTPL (context) - Stemple, Socorro et al. - 1988
4 A Confluent Calculus of Macro Expansion and Evaluation (context) - Bove, Arbilla - 1992
3 Texts and Monographs in Computer Science (context) - Waite, Goos - 1985
2 Stratification as a Design Principle in Logical Query Langua.. (context) - Naqvi - 1989
2 Extensibility in Language Design (context) - Standish - 1975
1 Information Processing (context) - Galler - 1974
The graph only includes citing articles where the year of publication is known.
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