Jörg Harm, Ralf Lämmel, Günter Riedewald  Home/Search
Context Related
| cwi.nl/~ralf/nwpt96.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: cwi.nl/~ralf/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The \Delta approach supports language design, derivation of provably correct prototype interpreters and test program generation based on formal specifications. The specification framework of the \Delta system provides for example GSFs (a kind of attribute grammars), recursive function definitions and lexical grammars. The composition of specification fragments is described by means of the special purpose formalism PRA supporting modularity with late binding. To express the actual design of a... (Update)
Context of citations to this paper: More
...defining these symbols. This expressiveness is a first step for tool support for the advanced style of literate specification proposed in [HLR97]. Collective generation If a modular specification should be attached as a special chapter, for example in an Appendix, ToL A T E X...
.... constructs, a knowledge base containing knowledge of languages and their compilers interpreters, and a tool for language design [10, 15]. In the remainder of this section we focus on the incorporation of language design knowledge and on description by example of selected...
Cited by: More
Prological Language Processing - Lämmel, al. (2001) (Correct)
Semantics of Programming Languages: A Tool-Oriented Approach - Heering, Klint (2000) (Correct)
Application Software, Domain-Specific Languages, and Language.. - Heering (2000) (Correct)
Active bibliography (related documents): More All
1.5: Testing Attribute Grammars - Harm, Lämmel (2000) (Correct)
0.5: Two-dimensional Approximation Coverage - Harm, Lämmel (2000) (Correct)
0.3: Test Case Characterisation By Regular Path Expressions - Lämmel, Harm (Correct)
Similar documents based on text: More All
0.7: Bandera Specification Language: A Specification Language For.. - Robby (2000) (Correct)
0.5: Verifying Properties of Module Construction in Type Theory - Reus, Streicher (1993) (Correct)
0.4: Reuse Automation - Barna (1999) (Correct)
Related documents from co-citation: More All
4: A Toolbox for Compiler Construction (context) - Grosch, Emmelmann - 1990
4: The LDL - Language Development Laboratory (context) - Riedewald
4: Entwicklung einer Sprache zur Unterstutzung von Design Patterns und Implementier.. (context) - Bunnig - 1999
BibTeX entry: (Update)
Jorg Harm, Ralf Lammel, and Gunter Riedewald. The Language Development Laboratory ( \Delta ). In Magne Haveraaen and Olaf Owe, editors, Selected papers from the 8th Nordic Workshop on Programming Theory, December 4--6, Oslo, Norway, Research Report 248, ISBN 82-7368-163-7, pages 77--86, May 1997. http://citeseer.ist.psu.edu/harm97language.html More
@misc{ harm97language,
author = "J. Harm and R. L{\"a}mmel and G. Riedewald",
title = "The Language Development Laboratory",
editor = "Magne Haveraaen and Olaf Owe",
booktitle = "Selected papers from the 8th Nordic Workshop on Programming Theory, December 4--6,
Oslo, Norway, Research Report 248, ISBN 82-7368-163-7",
pages = "77--86",
month = "May",
year = "1997",
url = "citeseer.ist.psu.edu/harm97language.html" }
Citations (may not include all citations):129 Transformation of Logic Programs: Foundations and Techniques (context) - Pettorossi, Proietti - 1994
63 Realistic Compiler Generation (context) - Lee - 1989
59 Flexible Compiler Construction System (context) - Gray, Heuring et al. - 1992
36 Schema-Based Transformations of Logic Programs - Fuchs, Fromherz - 1992
35 Program Construction in Computational Logic (context) - Brogi - 1993
16 Applications and Systems (context) - Alblas, Melichar et al. - 1991
16 Compiler Testing using a Sentence Generator (context) - Celentano, Reghezzi et al. - 1980
10 A sentence generator for testing parsers (context) - Purdom - 1972
10 Modularity and reusability in attribute grammars (context) - Kastens, Waite - 1994
9 Graduate School of Arts and Sciences (context) - Espinosa, PhD - 1995
9 Object Orientation in Attribute Grammars (context) - Koskimies
6 IEEE Transactions on Software Engineering (context) - Bazzichi, Spadafora et al. - 1982
3 Automatic Test Program Generation from Formal Language Speci.. (context) - rg
2 Provable correctness of prototype interpreters in LDL - mmel, nter
2 Studie zur Erzeugung von Testprogrammen f#r #bersetzer (context) - Kastens - 1980
1 Towards Renement of Denite Logic Programs (context) - Komorowski, Trcek - 1993
1 Algebraic speciation languages: An overview (context) - Wirsing
1 Semantic Grammar Calculus (context) - mmel - 1997
1 Operations on fragments of formal language denitions towards.. (context) - mmel, nter
1 Funktionen- und Relationenalgebren (context) - schel, Kalu - 1979
1 Recent Trends in Data Type Speci- cation (context) - Astesiano, Reggio et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cwi.nl/~ralf/publications.html): More
Reconstruction of Paradigm Shifts - Lämmel, Riedewald (1999) (Correct)
Declarative Aspect-Oriented Programming - Lämmel (1999) (Correct)
An Interactive Language Library - Lämmel (1997) (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