Jan Heering

34 papers A* 1A 1B 1Journal 23Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Characterization of incentive compatible single-parameter mechanisms revisited.
CoRR
Krzysztof R. Apt, Jan Heering
2015 J jnl
Generative software complexity and software understanding.
Sci. Comput. Program.
Jan Heering
2008 — conf
Domain-specific languages as key tools for ulssis engineering.
ULSSIS@ICSE
Jan Heering, Marjan Mernik
2005 J jnl
When and how to develop domain-specific languages.
ACM Comput. Surv.
Marjan Mernik, Jan Heering, Anthony M. Sloane
2003 — conf
Domain-Specific Languages Minitrack Introduction.
HICSS
Jan Heering, Marjan Mernik, Anthony M. Sloane
2003 J jnl
Quantification of structural information: on a question raised by Brooks.
ACM SIGSOFT Softw. Eng. Notes
Jan Heering
2002 J jnl
Compiling language definitions: the ASF+SDF compiler.
ACM Trans. Program. Lang. Syst.
Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier
2002 — conf
Minitrack Introduction.
HICSS
Jan Heering, Marjan Mernik
2001 B conf
The ASF+SDF Meta-environment: A Component-Based Language Development Environment.
CC
Mark van den Brand, Arie van Deursen, Jan Heering, H. A. de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, Joost Visser
2001 — conf
The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment.
LDTA@ETAPS
Mark van den Brand, Arie van Deursen, Jan Heering, Hayco de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, Joost Visser
2000 J jnl
An algebraic programming style for numerical software and its optimization.
Sci. Program.
T. B. Dinesh, Magne Haveraaen, Jan Heering
2000 J jnl
Application Software, Domain-Specific Languages, and Language Design Assistants
CoRR
Jan Heering
2000 J jnl
Compiling Language Definitions: The ASF+SDF Compiler
CoRR
Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier
2000 J jnl
Semantics of Programming Languages: A Tool-Oriented Approach.
ACM SIGPLAN Notices
Jan Heering, Paul Klint
1999 J jnl
An Algebraic Programming Style for Numerical Software and its Optimization
CoRR
T. B. Dinesh, Magne Haveraaen, Jan Heering
1999 J jnl
Semantics of Programming Languages: A Tool-Oriented Approach
CoRR
Jan Heering, Paul Klint
1998 J jnl
Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation.
ACM Comput. Surv.
John Field, Jan Heering, T. B. Dinesh
1997 — ed.
Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997, Proceedings
ALP/HOA
Michael Hanus, Jan Heering, Karl Meinke
1997 J jnl
Toward a Complete Transformational Toolkit for Compilers.
ACM Trans. Program. Lang. Syst.
Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering
1996 A conf
A Complete Transformational Toolkit for Compilers.
ESOP
Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering
1996 — ed.
Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers
HOA
Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
1996 — book
Language Prototyping: An Algebraic Specification Approach
Arie van Deursen, Jan Heering, Paul Klint
1995 J jnl
Homomorphism Preserving Algebraic Specifications Require Hidden Sorts
Inf. Comput.
Jan A. Bergstra, Jan Heering
1994 — ed.
Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers
HOA
Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
1994 J jnl
Lazy and Incremental Program Generation.
ACM Trans. Program. Lang. Syst.
Jan Heering, Paul Klint, J. Rekers
1994 J jnl
Which Data Types have omega-complete Initial Algebra Specifications?
Theor. Comput. Sci.
Jan A. Bergstra, Jan Heering
1992 J jnl
Incremental Generation of Lexical Scanners.
ACM Trans. Program. Lang. Syst.
Jan Heering, Paul Klint, J. Rekers
1990 J jnl
Incremental Generation of Parsers.
IEEE Trans. Software Eng.
Jan Heering, Paul Klint, J. Rekers
1990 J jnl
Module Algebra
J. ACM
Jan A. Bergstra, Jan Heering, Paul Klint
1989 A* conf
Incremental Generation of Parsers.
PLDI
Jan Heering, Paul Klint, J. Rekers
1989 J jnl
The syntax definition formalism SDF - reference manual.
ACM SIGPLAN Notices
Jan Heering, P. R. H. Hendriks, Paul Klint, J. Rekers
1986 J jnl
Partial Evaluation and omega-Completeness of Algebraic Specifications.
Theor. Comput. Sci.
Jan Heering
1986 J jnl
The efficiency of the equation interpreter compared with the UNH Prolog interpreter.
ACM SIGPLAN Notices
Jan Heering, Paul Klint
1985 J jnl
Towards Monolingual Programming Environments.
ACM Trans. Program. Lang. Syst.
Jan Heering, Paul Klint