J. Heering, M. De Jonge, T. Kuipers, P. Klint, L. Moonen, P. A. Olivier, ...
Abstract. The Asf+Sdf Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language denitions and generating tools for them....
Compiling Language Denitions: The ASF+SDF Compiler (2007)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, J. Heering, J. Heering, P. Klint, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Generation of Program Transformation Systems (2007)
roduce the appropriate rewriting implementation. We will compare our strategy language with several formalisms under development elsewhere and evaluate its adequacy by using it in three demanding...
A. Van Deursen, J. Heering, M. De Jonge, T. Kuipers, P. Klint, L. Moonen, ...
Abstract. The ASF+SDF Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for...
A. Van Deursen, J. Heering, M. De Jonge, T. Kuipers, P. Klint, L. Moonen, ...
Abstract. The Asf+Sdf Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language denitions and generating tools for them....
J. Heering, M. De Jonge, T. Kuipers, P. Klint, L. Moonen, P. A. Olivier, ...
Abstract. The Asf+Sdf Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for...
Compiling Language Denitions: The ASF+SDF Compiler (2007)
J. Heering, P. Klint, P. A. Olivier
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are denition and implementation of domain-specic languages, generation of program analysis...
Compiling Language Denitions: The ASF+SDF Compiler (2007)
J. Heering, P. Klint, P. A. Olivier
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are denition and implementation of domain-specic languages, generation of program analysis...
J. Heering, Mathematisch Centrum (smc, The Dutch Foundation
Application software, domain-specific languages, and language
M. Haveraaen, J. Heering, T. B. Dinesh, T. B. Dinesh, Magne Haveraaen
An algebraic programming style for numerical software and
A. Van Deursen, J. Heering, M. De Jonge, T. Kuipers, P. Klint, L. Moonen, ...
Abstract. The ASF+SDF Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for...
J. Heering, P. Klint, J. Rekers
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...
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below...
When And How To Develop Domain-Specific Languages (2003)
M. Mernik, J. Heering, A.M. Sloane, Marjan Mernik, Anthony M. Sloane
Domain-specific languages (DSLs) are languages tailored to a specific application domain.
Compiling language definitions: The ASF+SDF compiler (2002)
J. Heering, P. Klint, P. A. Olivier
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition and implementation of domain-specific languages, generation of program...
Compiling language definitions: The ASF+SDF compiler (2002)
J. Heering, P. Klint, P. A. Olivier
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition of domain-specific languages, generation of program analysis and...
Compiling language definitions: The ASF+SDF compiler (2002)
J. Heering, P. Klint, P. A. Olivier
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition and implementation of domain-specific languages, generation of program...
The ASF+SDF Meta-Environment: a Component-Based Language Development Environment (2001)
A. Van Deursen, J. Heering, M. De Jonge, T. Kuipers, P. Klint, ...
Abstract. The ASF+SDF Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for...
The ASF+SDF Meta-Environment: a Component-Based Language Development Environment (2001)
A. Van Deursen, J. Heering, M. De Jonge, T. Kuipers, P. Klint, ...
Abstract. The ASF+SDF Meta-Environment is an interactive development environment for the auto-matic generation of interactive systems for constructing language definitions and generating tools for...
Compiling Language Definitions: The ASF+SDF Compiler (2000)
Heering, J., Klint, P., Olivier, P. A.
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition of domain-specific languages, generation of program analysis and...
Semantics of programming languages: a tool-oriented approach (2000)
J. Heering, P. Klint, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Paul Klint
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
An Algebraic Programming Style for Numerical Software and its Optimization (1999)
Dinesh, T. B., Haveraaen, M., Heering, J.
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds, scalar fields, tensors, and the like, but these algebraic structures are hardly...
Equations as a uniform framework for partial evaluation and abstract interpretation (1998)
J. Field, J. Field, J. Heering, J. Heering, T. B. Dinesh, T. B. Dinesh
Equations as a uniform framework for partial evaluation and
Equations as a uniform framework for partial evaluation and abstract interpretation (1998)
J. Field, J. Heering, J. Heering, T. B. Dinesh, T. B. Dinesh
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Renovation of the ASF+SDF Meta-Environment—current state of affairs (1997)
J. Heering, P. Klint, Paul Klint
Published in collaboration with the
A complete transformational toolkit for compilers (1996)
J. A. Bergstra, T. B. Dinesh, J. Heering
Abstract. In an earlier paper, one of the present authors presented a preliminary account of an equational logic called PIM. PIM is intended to function as a "transformational toolkit...
Towards a Complete Transformational Toolkit for Compilers (1996)
J. Field, Issn -x, J.A. Bergstra, J. A. Bergstra, T.B. Dinesh, T. B. Dinesh, ...
Pim is an equational logic designed to function as a "transformational toolkit" for compilers and other programming tools that analyze and manipulate imperative languages. It has been...
J. Field, J. Heering, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
In an earlier paper, one of the present authors presented a preliminary account of an equational logic called PIM. PIM is intended to function as a "transformational toolkit" to be used by...
Complete Transformational Toolkit For Compilers (1996)
J.A. Bergstra, T.B. Dinesh, J. Field, J. Heering
In an earlier paper, one of the present authors presented a preliminary account of an equational logic called PIM. PIM is intended to function as a "transformational toolkit" to be used by...
Which data types have ω-complete initial algebra specifications? (1994)
An algebraic specification is called ω-complete or inductively complete if all (open as well as closed) equations valid in its initial model are equationally derivable from it, i.e., if the...
Hidden Sorts, J. A. Bergstra, J. A. Bergstra, J. Heering, J. Heering
Homomorphism preserving algebraic specifications require
Homomorphism Preserving Algebraic Specifications Require Hidden Sorts (1993)
Although every computable data type has an initial algebra specification with hidden functions, it may happen that some of the homomorphic images of the data type are not models of the specification....
Higher-order algebraic specification is a synthesis of first-order algebraic specification and higher-order functional programming which is both logically appealing as well as considerably more...
The Syntax Definition Formalism SDF - Reference Manual - (1992)
J. Heering, P. Klint, J. Rekers
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...
J. A. Bergstra, J. Heering, Thy Nether, J. A. Bergstra, J. Heering
data types have w-complete initial algebra specifications?*
Proefschrift Universität Fridericiana Karlsruhe (TH).