Jan Heering

Affiliations:
  • Centrum Wiskunde & Informatica, Amsterdam, Netherlands


According to our database1, Jan Heering authored at least 26 papers between 1985 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Characterization of incentive compatible single-parameter mechanisms revisited.
CoRR, 2022

2015
Generative software complexity and software understanding.
Sci. Comput. Program., 2015

2008
Domain-specific languages as key tools for ulssis engineering.
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, 2008

2005
When and how to develop domain-specific languages.
ACM Comput. Surv., 2005

2003
Quantification of structural information: on a question raised by Brooks.
ACM SIGSOFT Softw. Eng. Notes, 2003

Domain-Specific Languages Minitrack Introduction.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

2002
Compiling language definitions: the ASF+SDF compiler.
ACM Trans. Program. Lang. Syst., 2002

Minitrack Introduction.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

2001
The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment.
Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001

2000
An algebraic programming style for numerical software and its optimization.
Sci. Program., 2000

Semantics of Programming Languages: A Tool-Oriented Approach.
ACM SIGPLAN Notices, 2000

Application Software, Domain-Specific Languages, and Language Design Assistants
CoRR, 2000

1998
Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation.
ACM Comput. Surv., 1998

1997
Toward a Complete Transformational Toolkit for Compilers.
ACM Trans. Program. Lang. Syst., 1997

1996
Language Prototyping: An Algebraic Specification Approach
AMAST Series in Computing 5, World Scientific, ISBN: 978-981-4498-73-9, 1996

A Complete Transformational Toolkit for Compilers.
Proceedings of the Programming Languages and Systems, 1996

1995
Homomorphism Preserving Algebraic Specifications Require Hidden Sorts
Inf. Comput., May, 1995

1994
Lazy and Incremental Program Generation.
ACM Trans. Program. Lang. Syst., 1994

Which Data Types have omega-complete Initial Algebra Specifications?
Theor. Comput. Sci., 1994

1992
Incremental Generation of Lexical Scanners.
ACM Trans. Program. Lang. Syst., 1992

1990
Module Algebra
J. ACM, April, 1990

Incremental Generation of Parsers.
IEEE Trans. Software Eng., 1990

1989
The syntax definition formalism SDF - reference manual.
ACM SIGPLAN Notices, 1989

1986
Partial Evaluation and omega-Completeness of Algebraic Specifications.
Theor. Comput. Sci., 1986

The efficiency of the equation interpreter compared with the UNH Prolog interpreter.
ACM SIGPLAN Notices, 1986

1985
Towards Monolingual Programming Environments.
ACM Trans. Program. Lang. Syst., 1985


  Loading...