J. Heering, P. R. H. Hendriks, P. Klint, J. Rekers  Home/Search
Context Related
| cwi.nl/pub/gipe/report...SDFManual.ps.Z cwi.nl/ftp/gipe/report...SDFManual.ps.Z 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 Problem Downloading? From: cwi.nl/~jan/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: SDF is a formalism for the definition of syntax which is comparable to BNF in some respects, but has a wider scope in that it also covers the definition of lexical and abstract syntax. Its design and implementation are tailored towards the language designer who wants to develop new languages as well as implement existing ones in a highly interactive manner. It emphasizes compactness of syntax definitions by offering (a) a standard interface between lexical and context-free syntax; (b) a... (Update)
Cited by: More
From Box to T - An Algebraic Approach (Correct)
The algebraic specification of annotated syntax trees - Van Den Brand (Correct)
Data Flow Analysis for Reverse Engineering - University Of Amsterdam (Correct)
Similar documents (at the sentence level):
43.5%: The Syntax Definition Formalism SDF - Reference Manual - Heering, Hendriks, Klint.. (2001) (Correct)
Active bibliography (related documents): More All
0.7: Semantically-Sensitive Macroprocessing - Maddox (1989) (Correct)
0.4: The ASF+SDF Meta-environment: An Annotated Bibliography - van der Meulen (1995) (Correct)
0.4: GSE: a generic text and structure editor - Koorn (1992) (Correct)
Similar documents based on text: More All
0.5: Compiling Language Definitions: The ASF+SDF Compiler - van den Brand, Heering.. (2000) (Correct)
0.4: Compilation and Memory Management for ASF+SDF - van den Brand, Klint, Olivier (1999) (Correct)
0.4: Reuse of ASF+SDF Specifications by means of Renaming - de Jonge (1997) (Correct)
Related documents from co-citation: More All
52: A meta-environment for generating programming environments (context) - Klint - 1993
32: Parser Generation for Interactive Environments - Rekers - 1992
30: The algebraic specification formalism ASF (context) - Bergstra, Heering et al. - 1989
BibTeX entry: (Update)
J. Heering, P.R.H. Hendriks, P. Klint, and J. Rekers. The syntax definition formalism SDF - reference manual. SIGPLAN Notices, 24(11):43-- 75, 1989. http://citeseer.ist.psu.edu/heering92syntax.html More
@article{ heering89syntax,
author = "J. Heering and P. R. H. Hendriks and P. Klint and J. Rekers",
title = "The Syntax Definition Formalism {SDF} - Reference Manual -",
journal = "SIGPLAN Notices",
volume = "24",
number = "11",
publisher = "ACM Press",
address = "New York, NY",
pages = "43--75",
year = "1989",
url = "citeseer.ist.psu.edu/heering92syntax.html" }
Citations (may not include all citations):866 Techniques and Tools (context) - Aho, Sethi et al. - 1986
271 YACC: yet another compiler-compiler - Johnson - 1986
233 Natural semantics (context) - Kahn - 1987
191 A meta-environment for generating programming environments (context) - Klint - 1991
171 The Synthesizer Generator: a System for Constructing Languag.. (context) - Reps, Teitelbaum - 1989 ACM
151 Proving termination with multiset orderings (context) - Dershowitz, Manna - 1979 ACM DBLP
119 Algebraic Specification (context) - Bergstra, Heering et al. - 1989
105 The syntax definition formalism SDF - reference manual - Heering, Hendriks et al. - 1989
82 Principles of OBJ (context) - Futatsugi, Goguen et al. - 1985
62 Generating language-based environments (context) - Reps - 1982 ACM
59 Equational Logic as a Programming Language (context) - O'Donnell - 1985 ACM DBLP
47 The PSG system: from formal language definitions to interact.. (context) - Bahlke, Snelting - 1986
26 Centrum voor Wiskunde en Informatica (context) - van Dijk, Koorn et al. - 1990
25 Deterministic parsing of ambiguous grammars (context) - Aho, Johnson et al. - 1975 ACM DBLP
24 Implementation of Modular Algebraic Specifications (context) - Hendriks - 1991
22 Executable specification of static semantics (context) - Despeyroux - 1984 DBLP
21 GSE: A generic text and structure editor - Koorn - 1992
20 Incremental generation of parsers (context) - Heering, Klint et al. - 1989 ACM DBLP
19 Metal: a formalism to specify formalisms (context) - Kahn, Lang et al. - 1983 DBLP
18 unix programmer's supplementary documents (context) - Lesk, Schmidt et al. - 1986
13 Generation of interactive programming environments (context) - Heering, Kahn et al. - 1986
9 LITHE: A language combining a flexible syntax and classes (context) - Sandberg - 1982
8 CIGALE: a tool for interactive grammar construction and expr.. (context) - Voisin - 1986
8 Information Processing Letters (context) - Jouannaud, Lescanne et al. - 1982
7 Computer Systems Research Group (context) - Joy, Graham et al. - 1986
7 Algebraic specification of a compiler for a language with po.. (context) - van der Meulen - 1988
6 A syntax-directed compiler for algol (context) - Irons - 1961
6 Centrum voor Wiskunde en Informatica (context) - Heering, Klint et al. - 1991
5 Extensibility in programming language design (context) - Standish - 1975 ACM
5 PICO revisited (context) - Heering, Klint - 1989
3 An integrated text and syntax-directed editor (context) - Logger - 1988
2 To appear in ACM Transactions on Programming Languages and S.. (context) - Heering, Klint et al. - 1987
2 Experience with an extensible language (context) - Irons - 1970 ACM
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cwi.nl/~jan/): More
Generation of Program Transformation Systems - Heering (Correct)
Implementing Higher-Order Algebraic Specifications - Heering (1992) (Correct)
Compiling Language Definitions: The ASF+SDF Compiler - Van Den Brand, Heering.. (1999) (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