(Enter summary)
Abstract: An approach to the design of a workbench in language design is presented. Languages
are defined in the formal specification framework of \Delta offering for example attribute
grammars and the module composition formalism PRA. To express the actual design of
a specification, the calculus SGC offering meta-programming-like operations on specifications
is instrumented. Thereby, the fine-grained structure corresponding to semantic
aspects of an attribute grammar specification or necessary... (Update)
Active bibliography (related documents): More All
0.6: Provable Correctness of Prototype Interpreters in LDL - Lämmel, Riedewald (1994)
(Correct)
0.5: A Literate Programming System for Logic Programs with Constraints - Schumann
(Correct)
0.5: Basic Hyperpro Functionalities and Utilities - Deransart,, Ed-Dbali, Bigonha, .. (1997)
(Correct)
Similar documents based on text: More All
0.2: The Language Development Laboratory ... - Harm, Lämmel, Riedewald (1997)
(Correct)
0.2: Analytical Cellular Pathology 25 (2003) 1--36 1 IOS Press - Feature Set For
(Correct)
0.0: Operating on Parameterized Context-Free Grammars - Lämmel, Riedewald (1996)
(Correct)
BibTeX entry: (Update)
@misc{ mmel-interactive,
author = "Ralf Lämmel",
title = "An Interactive Language Library",
url = "citeseer.ist.psu.edu/90977.html" }
Citations (may not include all citations):
38
Concepts of Programming Languages (context) - Sebesta - 1993
17
The Language Development Laboratory
- Harm, Lammel et al. - 1997
16
Applications and Systems (context) - Alblas, Melichar et al. - 1991
9
Object Orientation in Attribute Grammars (context) - Koskimies
7
The LDL -- Language Development Laboratory (context) - Riedewald - 1992
4
Prototyping by Using an Attribute Grammar as a Logic Program (context) - Riedewald
3
Department of Computer Science (context) - Lammel, Calculus et al. - 1997
3
Department of Computer Science (context) - Lammel, Riedewald et al. - 1996
2
The Thot User Manual (context) - Quint - 1995
2
Composition based on Meta-Programming
- Lammel - 1997
2
A Laboratory Based Approach (context) - Kenneth, Syntax - 1995
2
A Literate Logic Programming System (context) - Deransart - 1996
1
Fallstudie fur Sprachdefinitionen aus wiederverwendbaren Bau.. (context) - Stasch - 1997
1
Operations on fragments of formal language definitions towar.. (context) - Lammel, Riedewald - 1997
1
Writing course notes with ASF+SDF to LaTeX (context) - Visser - 1994
1
Provable correctness of prototype interpreters in LDL
- Lammel, Riedewald - 1994
Documents on the same site (http://www.informatik.uni-rostock.de/~rlaemmel/papers.html): More
Operating on Parameterized Context-Free Grammars - Lämmel, Riedewald (1996)
(Correct)
Reconstruction of Paradigm Shifts - Lämmel, Riedewald (1999)
(Correct)
Projections of Programs Revisited - Lämmel, Riedewald, Lohmann (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