William Maddox  Home/Search
Context Related
| berkeley.edu/~maddox/papers...xlrept.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: berkeley.edu/~maddox/p...abstract (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Conventional procedure and type definition mechanisms are not sufficiently powerful to express many programming abstractions that can be captured by syntactic transformations. Unfortunately, conventional macroprocessing is oblivious to the semantics of the base language, resulting in scoping anomalies, poor handling of static semantic errors, and an inability to perform transformations dependent on semantic attributes of the manipulated program. We introduce a new mechanism, semantic... (Update)
Context of citations to this paper: More
...information of programs for macro programs. There are only a few macro systems providing the logical information. For example, XL [15] is one of those systems although it is for a functional language but not for an OO language. 3 OpenJava OpenJava is our advanced macro...
.... cation languages Macro processing has long been used as a mechanism for implementing language translators [McI60,Lea66,Che66,WC93,Mad89] Our colleagues and we have used macro processing in the framework of algebraic compilers in many di erent instances...
Cited by: More
Domain Specific Languages for Interactive Web Services - Brabrand (2002) (Correct)
Program Manipulation via Interactive Transformations (Extended.. - Boshemitsan (Correct)
Forwarding in Attribute Grammars for Modular Language.. - Van Wyk, de Moor.. (2002) (Correct)
Active bibliography (related documents): More All
0.7: The Syntax Definition Formalism SDF - Reference Manual - - Heering, Hendriks, Klint.. (1992) (Correct)
0.3: Automatic Generation and Management of Program Analyses - Yi (1993) (Correct)
0.3: Compiling with Proofs - Necula (1997) (Correct)
Similar documents based on text: More All
0.0: Incremental Static Semantic Analysis - Maddox, III (1997) (Correct)
0.0: Design and Evaluation of Router-Supported and End-to-End.. - Mostafa (1999) (Correct)
0.0: Scoping Constructs for Software Generators - Smaragdakis, Batory (Correct)
Related documents from co-citation: More All
8: Programmable syntax macros - Weise, Crew - 1993
6: Algebraic construction of a compiler (context) - Rus - 1990
5: Syntax macros and extended translations (context) - Leavenworth - 1966
BibTeX entry: (Update)
W. Maddox. Semantically-sensitive macroprocessing. Master's thesis, The University of California at Berkeley, Computer Science Division (EECS), Berkeley, CA 94720, December 1989. http://citeseer.ist.psu.edu/maddox89semanticallysensitive.html More
@techreport{ maddoxmaddoxsemanticallysensitive,
author = "William Maddox",
title = "Semantically-Sensitive Macroprocessing",
number = "CSD-89-545",
pages = "84",
url = "citeseer.ist.psu.edu/maddox89semanticallysensitive.html" }
Citations (may not include all citations):484 Common Lisp: The Language (context) - Jr - 1984
271 Yacc: Yet another compiler-compiler - Johnson - 1984
197 Revised 3 report on the algorithmic language Scheme - Rees, Clinger - 1986
107 Complete type inference for simple objects (context) - Wand - 1987
56 ML with extended pattern matching and subtypes - Jategaonkar, Mitchell - 1988
54 The mystery of the tower revealed: A non-reflective descript.. (context) - Wand, Friedman - 1986
46 Reflection and semantics in Lisp (context) - Smith - 1984
26 Syntactic closures - Bawden, Rees - 1988
24 volume 114 of Lecture Notes in Computer Science (context) - Liskov, Manual - 1981
22 A semantics-directed compiler generator (context) - Paulson - 1982
22 SIS -- Semantics Implementation System (context) - Mosses - 1979
16 Syntax macros and extended translation (context) - Leavenworth - 1966
12 Extensions for multi-module records in conventional programm.. (context) - Cheriton, Wolf - 1987
10 A realistic compiler generator based on high-level semantics.. (context) - Lee, Pleban - 1987
10 Alphard: Form and Content (context) - Shaw - 1981
10 The introduction of definitional facilities into higher leve.. (context) - Cheatham - 1966
9 A compiler definition facility based on the syntactic macro (context) - Campbell - 1975
7 Reification: Reflection without metaphysics (context) - Friedman, Wand - 1984
7 realistic compiler for an imperative programming language (context) - Pleban, Lee et al. - 1988
5 Semantics-directed code generation - Appel - 1985
5 Computer Science Department (context) - Rees, Adams et al. - 1984
5 Extensibility in programming language design (context) - Standish - 1975
2 Experience with an extensible language (context) - Irons - 1970
1 Reprinted in Unix Programmer's Manual: Supplementary Documen.. (context) - Lesk, Schmidt et al. - 1984
1 SEMANTICALLY-SENSITIVE MACROPROCESSING (context) - Moon, Stallman et al. - 1983
1 Technical Report MIT LCS TR (context) - Gifford, reference - 1987
1 the use of LISP in implementing denotational semantics: A pr.. (context) - Lee, Pleban - 1986
1 volume 7 of Annual Review in Automatic Programming (context) - Solntseff, Yezerski et al. - 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