| |
|---|
| Department of Software Engineering, CWI |
| Kruislaan 413, Amsterdam, The Netherlands |
| Email: Jan.Heering@cwi.nl |
| Voice: +31 20 592 4130 |
| Fax: +31 20 592 4199 |
| Selected articles/presentations in reverse chronological order |
|---|
|
When and how to develop domain-specific languages (pdf) (with Marjan Mernik and Anthony M. Sloane) CWI report SEN-E0517 To appear in ACM Computing Surveys 37 4 (December 2005) This is a revised and extended version of CWI report SEN-E0309 with the same title. Many examples illustrating the various patterns were added, the section on domain analysis was extended, the FODA and FAST approaches are discussed in more detail, and the number of references was increased from 100 to 150. |
| Generic software transformations (pdf) (with Ralf Lämmel) In: Proceedings Software Transformation Systems Workshop 2004 (STS '04) |
|
Higher-order abstract syntax and higher-order
term rewriting for program transformation (34 slides) (pdf) Fifth Stratego User Days, Utrecht University, March 1-3, 2004 |
|
When and how to develop domain-specific languages (pdf) (with Marjan Mernik and Anthony M. Sloane) CWI report SEN-E0309 Superseded by CWI report SEN-E0517 (see above) |
|
Quantification of structural information: On a question raised by Brooks (pdf) ACM SIGSOFT Software Engineering Notes 28 3 (May 2003) |
|
Rewriting-based languages and systems (pdf) (with Paul Klint) in Terese, Term Rewriting Systems, Cambridge University Press, March 2003, Chapter 15 |
| Lectures on Module Algebra
(83 slides) (pdf) MoSIS seminar, University of Bergen, Norway, November 12-13, 2002 |
|
Compiling language definitions: The ASF+SDF compiler (with Mark van den Brand, Paul Klint, and Pieter Olivier) ACM Transactions on Programming Languages and Systems 24 4 (July 2002) 334-368 |
|
An algebraic programming style for numerical software and its
optimization (with T.B. Dinesh and Magne Haveraaen) Scientific Programming 8 4 (September/October 2001) 247-259 (Special issue on Coordinate-Free Numerics) |
|
The ASF+SDF Meta-Environment: A component-based language development
environment M.G.J. van den Brand, A. van Deursen, J. Heering, H.A. de Jong, M. de Jonge, T. Kuipers, P. Klint, L. Moonen, P.A. Olivier, J. Scheerder, J.J. Vinju, E. Visser, and J. Visser In: R. Wilhelm (ed.), Compiler Construction (CC 2001), Lecture Notes in Computer Science 2027, Springer-Verlag, 2001, 365-370 |
|
Language design assistants as knowledge-based systems (abstract) Talk at Nordic Workshop on Programming Theory (NWPT '00), Bergen, Norway, October 13, 2000 |
|
Application software, domain-specific languages, and language
design assistants In: Proceedings SSGRR 2000 International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet html version |
|
Semantics of programming languages: A tool-oriented approach (with Paul Klint) SIGPLAN Notices 35 3 (March 2000) 39-48 html version |
|
Equations as a uniform framework for partial evaluation
and abstract interpretation (with John Field and T.B. Dinesh) ACM Computing Surveys 30 3es (September 1998) (Electronic supplement: 1998 Symposium on Partial Evaluation) |
| Toward a complete transformational toolkit for compilers (with Jan Bergstra, T.B. Dinesh, and John Field) ACM Transactions on Programming Languages and Systems 19 5 (September 1997) 639-684 |
| Language Prototyping Arie van Deursen, Jan Heering, Paul Klint (eds) AMAST Series in Computing, Volume 5, World Scientific, 1996 |
| Second-order term rewriting specification of static semantics:
An excercise Jan Heering In: Arie van Deursen, Jan Heering, and Paul Klint (eds), Language Prototyping, World Scientific, 1996, chapter 8 |
|
Prehistory of the ASF+SDF system (1980 - 1984) Jan Heering and Paul Klint In: Mark van den Brand et al. (eds), ASF+SDF '95: A Workshop on Generating Tools from Algebraic Specifications, Report P9504, Programming Research Group, University of Amsterdam, 1-4. |
| Homomorphism preserving algebraic specifications require
hidden sorts Jan Bergstra and Jan Heering Information and Computation 119 (1995) 119-123 |
| Lazy and incremental program generation Jan Heering, Paul Klint, and Jan Rekers ACM Transactions on Programming Languages and Systems 16 (1994) 1010-1023 |
| Which data types have omega-complete initial algebra
specifications? Jan Bergstra and Jan Heering Theoretical Computer Science 124 (1994) 149-168 |
| Incremental generation of lexical scanners Jan Heering, Paul Klint, and Jan Rekers ACM Transactions on Programming Languages and Systems 14 (1992) 490-520 |
|
Implementing higher-order algebraic specifications Jan Heering In: Dale Miller (ed.), Proceedings of the 1992 Workshop on the lambda Prolog Programming Language, Report MS-CIS-92-86, University of Pennsylvania, Philadelphia, 1992, 141-157 |
| Module algebra Jan Bergstra, Jan Heering, and Paul Klint Journal of the ACM 37 (1990) 335-372 83 slides (pdf)(November 2002) |
| Incremental generation of parsers Jan Heering, Paul Klint, and Jan Rekers IEEE Transactions on Software Engineering SE-16 (1990) 1344-1351 |
| The syntax definition formalism SDF - Reference manual Jan Heering, Paul Hendriks, Paul Klint, and Jan Rekers SIGPLAN Notices 24 (1989) 11 43-75 |
| Algebraic Specification Jan Bergstra, Jan Heering, and Paul Klint (eds) ACM Press, Frontier Series, 1989 |
| Partial evaluation and omega-completeness of algebraic
specifications Jan Heering Theoretical Computer Science 43 (1986) 149-167 |
| Generation of interactive programming environments Jan Heering, Gilles Kahn, Paul Klint, and Bernard Lang In: ESPRIT '85, Status Report of Continuing Work, Part I, North-Holland, 1986, pp. 467-477 |
| Towards monolingual programming environments Jan Heering and Paul Klint ACM Transactions on Programming Languages and Systems 7 (1985) 183-213 |