Download:
|
by J. Heering, P. Klint, J. Rekers
http://www.cwi.nl/~paulk/publications/SDFManual.ps
Add To MetaCart
Abstract:
SDF is a formalism for the denition of syntax which is comparable to BNF in some respects, but has a wider scope in that it also covers the denition 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 denitions by oering (a) a standard interface between lexical and context-free syntax; (b) a standard correspondence between context-free and abstract syntax; (c) powerful disambiguation and list constructs; and (d) an ecient incremental implementation which accepts arbitrary context-free syntax denitions. SDF can be combined with a variety of programming and specication languages. In this way these obtain fully general user-denable syntax.
Citations
|
268
|
Natural semantics
– Kahn
- 1987
|
|
164
|
Proving termination with multiset orderings
– Dershowitz, Manna
- 1979
|
|
131
|
The syntax definition formalism SDF - reference manual
– Heering, Hendriks, et al.
- 1989
|
|
104
|
Algebraic specification
– Bergstra
- 1989
|
|
96
|
Principles of OBJ2
– Futatsugi, Goguen, et al.
- 1985
|
|
57
|
Snelting; The PSG system: from formal language definitions to interactive programming environments
– Bahlke, Gregor
- 1986
|
|
38
|
Incremental Generation of Parsers
– Heering, Klint, et al.
- 1990
|
|
29
|
Deterministic Parsing of Ambiguous Grammars
– Aho, Johnson, et al.
- 1975
|
|
26
|
A syntax-directed compiler for ALGOL 60
– Irons
- 1961
|
|
24
|
On multiset orderings
– Bellegarde, Lescanne
- 1982
|
|
23
|
Executable Specification of Static Semantics
– DESPEYROUX
- 1984
|
|
16
|
Implementation of Modular Algebraic Specifications
– Hendriks
- 1991
|
|
13
|
Yacc: Yet Another Compiler-Compiler. Bell Laboratories
– Johnson
- 1986
|
|
11
|
Generation of interactive programming environments
– Heering, Kahn, et al.
- 1986
|
|
8
|
The PSG System: From Formal Language De to Interactive Programming Environments
– Bahlke, Snelting
- 1986
|
|
6
|
Algebraic Speci cation
– Bergstra, Heering, et al.
- 1989
|
|
6
|
Experience with an extensible language
– Irons
- 1970
|
|
5
|
The syntax de formalism SDF - reference manual
– Heering, Hendriks, et al.
- 1989
|
|
3
|
Lazy and incremental program generation. Report CS-R9124, Centrum voor Wiskunde en Informatica (CWI
– Heering, Klint, et al.
- 1991
|
|
2
|
Executable speci of static semantics
– Despeyroux
- 1984
|
|
2
|
GSE, a generic syntax-directed editor
– Dijk, Koorn
- 1990
|
|
2
|
Implementation of modular algebraic speci
– Hendriks
- 1991
|
|
1
|
Incremental generation of lexical scanners. Report CS-R8761, Centrum voor Wiskunde en Informatica (CWI
– Heering, Klint, et al.
- 1987
|
