23 citations · 50 across the 5 of their papers we have counts for
5 papers
Characterization of incentive compatible single-parameter mechanisms revisited
Krzysztof R. Apt, Jan Heering
We reexamine the characterization of incentive compatible single-parameter mechanisms introduced in Archer & Tardos(2001). We argue that the claimed uniqueness result, called `Myer…
Compiling Language Definitions: The ASF+SDF Compiler
M. G. J. van den Brand, J. Heering, P. Klint +1
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition of domain-specific languages, generation of program anal…
Application Software, Domain-Specific Languages, and Language Design Assistants
Jan Heering
While application software does the real work, domain-specific languages (DSLs) are tools to help produce it efficiently, and language design assistants in turn are meta-tools to h…
Semantics of Programming Languages: A Tool-Oriented Approach
Jan Heering, Paul Klint
By paying more attention to semantics-based tool generation, programming language semantics can significantly increase its impact. Ultimately, this may lead to ``Language Design As…
An Algebraic Programming Style for Numerical Software and its Optimization
T. B. Dinesh, M. Haveraaen, J. Heering
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…