Jan Heering - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2005

When and how to develop domain-specific languagesMarjan Mernik, Jan Heering, Anthony M. Sloane. ACM Comput. Surv., 37(4):316-344, 2005. [doi]

2003

Quantification of structural information: on a question raised by BrooksJan Heering. sigsoft, 28(3):6, 2003. [doi]

2002

Minitrack IntroductionJan Heering, Marjan Mernik. hicss 2002: 279 [doi]

Compiling language definitions: the ASF+SDF compilerMark G. J. van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier. TOPLAS, 24(4):334-368, 2002. [doi]

2001

The ASF+SDF Meta-environment: A Component-Based Language Development EnvironmentMark G. J. 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. CC 2001: 365-370 [doi]

2000

An algebraic programming style for numerical software and its optimizationT. B. Dinesh, Magne Haveraaen, Jan Heering. sp, 8(4):247-259, 2000.

Application Software, Domain-Specific Languages, and Language Design AssistantsJan Heering. corr, cs.PL/0005002, 2000. [doi]

Semantics of Programming Languages: A Tool-Oriented ApproachJan Heering, Paul Klint. SIGPLAN, 35(3):39-48, 2000.

Compiling Language Definitions: The ASF+SDF CompilerMark G. J. van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier. corr, cs.PL/0007008, 2000. [doi]

1999

An Algebraic Programming Style for Numerical Software and its OptimizationT. B. Dinesh, Magne Haveraaen, Jan Heering. corr, cs.SE/9903002, 1999. [doi]

Semantics of Programming Languages: A Tool-Oriented ApproachJan Heering, Paul Klint. corr, cs.PL/9911001, 1999. [doi]

1998

Equations as a Uniform Framework for Partial Evaluation and Abstract InterpretationJohn Field, Jan Heering, T. B. Dinesh. ACM Comput. Surv., 30(3es):2, 1998. [doi]

1997

Toward a Complete Transformational Toolkit for CompilersJan A. Bergstra, T. B. Dinesh, John Field, Jan Heering. TOPLAS, 19(5):639-684, 1997. [doi]

Algebraic and Logic Programming, 6th International Joint Conference, ALP 97 - HOA 97, Southampton, U.K., Spetember 3-5, 1997, ProceedingsMichael Hanus, Jan Heering, Karl Meinke, editors, Volume 1298 of Lecture Notes in Computer Science, Springer, 1997.

1996

A Complete Transformational Toolkit for CompilersJan A. Bergstra, T. B. Dinesh, John Field, Jan Heering. ESOP 1996: 92-107

Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA 95, Paderborn, Germany, September 21-22, 1995, Selected PapersGilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller, editors, Volume 1074 of Lecture Notes in Computer Science, Springer, 1996.

Language Prototyping. An Algebraic Specification ApproachArie van Deursen, Jan Heering, Paul Klint, editors, Volume 5 of AMAST Series in Computing, World Scientific, Singapore, September 1996.

1995

Homomorphism Preserving Algebraic Specifications Require Hidden SortsJan A. Bergstra, Jan Heering. iandc, 119(1):119-123, May 1995.

1994

Which Data Types have omega-complete Initial Algebra Specifications?Jan A. Bergstra, Jan Heering. TCS, 124(1):149-168, 1994.

Lazy and Incremental Program GenerationJan Heering, Paul Klint, Jan Rekers. TOPLAS, 16(3):1010-1023, 1994. [doi]

Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA 93, Amsterdam, The Netherlands, September 23-24, 1993, Selected PapersJan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow, editors, Volume 816 of Lecture Notes in Computer Science, Springer, 1994.

1992

Incremental Generation of Lexical ScannersJan Heering, Paul Klint, Jan Rekers. TOPLAS, 14(4):490-520, 1992. [doi]

1990

Module AlgebraJan A. Bergstra, Jan Heering, Paul Klint. JACM, 37(2):335-372, April 1990. [doi]

Incremental Generation of ParsersJan Heering, Paul Klint, Jan Rekers. TSE, 16(12):1344-1351, 1990. [doi]

1989

Incremental Generation of ParsersJan Heering, Paul Klint, Jan Rekers. PLDI 1989: 179-191

The syntax definition formalism SDF - reference manualJan Heering, P. R. H. Hendriks, Paul Klint, Jan Rekers. SIGPLAN, 24(11):43-75, 1989. [doi]

The syntax definition formalism SDF - reference manualJan Heering, P. R. H. Hendriks, Paul Klint, Jan Rekers. SIGPLAN, 24(11):43-75, 1989. [doi]

1986

Partial Evaluation and omega-Completeness of Algebraic SpecificationsJan Heering. TCS, 43:149-167, 1986.

1985

Towards Monolingual Programming EnvironmentsJan Heering, Paul Klint. TOPLAS, 7(2):183-213, 1985. [doi]