Compiling Language Definitions: The ASF+SDF Compiler

Compiling Language Definitions: The ASF+SDF Compiler (1999)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by M. G. J. van den Brand , J. Heering , P. Klint , P. A. Olivier

Citations:

33 - 5 self

BibTeX

@MISC{Brand99compilinglanguage,
    author = {M. G. J. van den Brand and J. Heering and P. Klint and P. A. Olivier},
    title = {Compiling Language Definitions: The ASF+SDF Compiler},
    year = {1999}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

The ASF+SDF Meta-Environment is an interactive language development environment...

Citations

723	Rewrite systems - Dershowitz, Jouannaud - 1990
595	Compiling with Continuations - Appel - 1992
550	Term rewriting systems - Klop - 1992
368	Garbage Collection: Algorithms for Automatic Dynamic Memory Managem ent.John Wiley&Sons,Ltd,1996 - Jones
190	A meta-environment for generating programming environments - Klint - 1993
133	Pattern matching in trees - Hoffmann, O’Donnell - 1982
132	The syntax definition formalism SDF - reference manual, version 6 - Heering, Hendriks, et al. - 1992
111	Functional Programming - Field, Harrison - 1988
105	Algebraic specification - Bergstra, Heering, et al. - 1989
103	Space Efficient Conservative Garbage Collection - Boehm - 1993
78	The ASF+SDF meta-environment: A component-based language development environment - Brand, Deursen, et al. - 2001
73	Generation of components for software renovation factories from context-free grammars - Brand, Sellink, et al. - 2000
64	P.: Little Languages: little Maintenance - Deursen, Klint - 1998
52	Complexity of matching problems - Benanav, Kapur, et al. - 1987
52	Attribute grammars and recursive program schemes - Courcelle, Franchi-Zannettacci - 1982
51	Simplifying conditional term rewriting systems: Unification, termination and confluence - Kaplan - 1987
49	Alma-0: An imperative language that supports declarative programming - Apt, Brunekreef, et al. - 1998
48	Code-Generation On-the-Fly: A Key to Portable Software", Doctoral Dissertation No. 10497 - Franz - 1994
46	Vectorized garbage collection - Appel, Bendiksen - 1989
37	The Safety Guaranteeing System at Station Hoorn-Kersenboogerd - Groote, Vlijmen, et al. - 1995
31	Anatomy of LISP - Allen - 1978
31	A simple rewriting semantics for realistic imperative programs and its application to program analysis - Field - 1992
29	OPAL: Design and Implementation of an Algebraic Programming Language - Didrich, Fett, et al. - 1994
28	Promoting Rewriting to a Programming Language : A Compiler for NonDeterministic Rewrite Programs in Associative-Commutative Theories - KIRCHNER, MOREAU - 2001
26	Minimal term rewriting systems - Kamperman, Walters - 1996
19	Compilation and memory management for ASF+SDF - Brand, Klint, et al. - 1999
19	Implementation of Modular Algebraic Specifications - Hendriks - 1991
17	An algebraic programming style for numerical software and its optimization - Dinesh, Haveraaen, et al. - 1999
16	Executable Language Definitions: Case Studies and Origin Tracking Techniques - Deursen - 1994
16	Benchmarking implementations of functional languages with “pseudoknot” a float-intensive benchmark - Hartel, Feeley, et al. - 1996
13	The discrete time ToolBus—A software coordination architecture - Bergstra, Klint - 1998
13	P.: Efficient annotated terms. Software-Practice and Experience 30 - Brand, Jong, et al. - 2000
11	Polling. Program transformations using ASF+SDF - Brand, Eijkelkamp, et al. - 1995
9	A generic architecture for data flow analysis to support reverse engineering - Moonen - 1997
7	A transformation tool for pure Prolog programs - Brunekreef - 1996
7	Exploring legacy systems using types - Deursen, Moonen - 2000
5	Experiments in specification re-engineering - Hillebrand - 1996
4	Optimal left-to-right pattern-matching automata. Pages 273–286 of - Nedjah, Walter, et al. - 1997
3	Maude: Specification and Programming in Rewriting Logic’. Maude System documentation at http://maude.csl.sri.com/papers - Clavel, Durán, et al. - 1999
3	Within ARM's reach: Compilation of left-linear rewrite systems via minimal rewrite systems - Fokkink, Kamperman, et al. - 1998
2	Syntax and semantics of a high-level intermediate representation of ASF+SDF - Bergstra, Brand - 2000
2	A fast implementation of the Algebraic Specification Formalism - Dik - 1989
2	Benchmarking of functional/algebraic language implementations. http://www.cwi.nl/olivierp/benchmark - Olivier - 1999
1	A pretty-printer for every occassion - Jonge - 2001
1	Incremental typechecking - Brand, Heering, et al. - 1996