Customer Configuration Updating in a Software Supply Network (2008)
Slinger Remy, Lokien Jansen, Promotoren Prof, Dr. S. Brinkkemper, Prof Dr, P. Klint
ter verkrijging van de graad van doctor aan de Universiteit Utrecht op gezag van de rector magnificus, prof. dr. W. H. Gispen, ingevolge het besluit van het college voor promoties in het openbaar te...
The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment (2008)
P. Klint, L. Moonen, P. A. Olivier, J. J. Vinju, E. Visser, J. Visser
Abstract. The Asf+Sdf Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for...
Using the meta-environment for maintenance and renovation (2008)
M. Bruntink, G. R. Economopoulos, P. Klint, T. Kooiker, ...
www.meta-environment.org The Meta-Environment is a flexible framework for language development, source code analysis and source code transformation. We highlight new features and demonstrate how the...
Using The Meta-Environment for Maintenance and Renovation (2008)
Bruntink, M., Economopoulos, G.R., Jong, H.A. De, Klint, P., Kooiker, T., ...
Towards formal verification of ToolBus scripts (2008)
Fokkink, W., Klint, P., Lisser, B., Usenko, Y.S.
ToolBus allows one to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. Tscript was originally designed to enable...
The Software Invention Cube: A classification scheme for software inventions (2008)
The patent system protects inventions. The requirement that a software invention should make ‘a technical contribution’ turns out to be untenable in practice and this raises the question, what...
Van Deursen, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Little Languages, Little Maintenance, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
J. Heering, M. De Jonge, T. Kuipers, P. Klint, L. Moonen, P. A. Olivier, ...
Abstract. The Asf+Sdf Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language denitions and generating tools for them....
Ecient Annotated Terms M.G.J. van den Brand 1 H.A. de Jong (2007)
How do distributed applications exchange tree-like data structures? We introduce the abstract data type of Annotated Terms (ATerms) and discuss their design, implementation and application. A...
Term Rewriting for Sale M.G.J. van den Brand (2007)
Term rewriting has a large potential for industrial applications, but these applications are always larger than one could ever dream of: huge sets of rewrite rules and gigantic terms to rewrite pose...
Compiling Language Denitions: The ASF+SDF Compiler (2007)
Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, J. Heering, J. Heering, P. Klint, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Gilbert Ryle, The Concept of Mind, p. 74. Implementing Actions Tijs van der Storm (2007)
Afstudeerrichting Programmatuur, Afstudeerdocent Prof. Dr, P. Klint
When a person does something voluntarily, in the sense that he does it on purpose or is trying to do it, his action certainly reflects some quality or qualities of mind, since (it is more than a...
Supervisors Prof, P. Klint, Robbert De Haan, Robbert De Haan, Afstudeerrichting Programmatuur, ...
I would like to thank Paul Klint and Frank de Boer for giving me the opportunity to work on this project. It has been an interesting experience to work with them. Furthermore, I would like to thank...
Improvement Group. Techniques for Understanding Legacy Software Systems (2007)
Academisch Proefschrift, Door Tobias Kuipers, Promotor Prof, P. Klint, Copromotor Dr, A. Deursen
About the cover: A man unreels in front of him a portion of a reel of punched paper tape. A B220 computer installation can be seen in the background behind him. Picture from the Burroughs Corporation...
A. Van Deursen, J. Heering, M. De Jonge, T. Kuipers, P. Klint, L. Moonen, ...
Abstract. The ASF+SDF Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for...
A. Van Deursen, J. Heering, M. De Jonge, T. Kuipers, P. Klint, L. Moonen, ...
Abstract. The Asf+Sdf Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language denitions and generating tools for them....
J. Heering, M. De Jonge, T. Kuipers, P. Klint, L. Moonen, P. A. Olivier, ...
Abstract. The Asf+Sdf Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for...
Compiling Language Denitions: The ASF+SDF Compiler (2007)
J. Heering, P. Klint, P. A. Olivier
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are denition and implementation of domain-specic languages, generation of program analysis...
ANOTHER FORMAL SPECIFICATION LANGUAGE PROEFSCHRIFT (2007)
Cover Karen Saaman, Erik Harald Saaman, Prof. Dr. P. Klint, Beoordelingscommissie Prof. Dr, P. D. Mosses, ...
op gezag van de
Compiling Language Denitions: The ASF+SDF Compiler (2007)
J. Heering, P. Klint, P. A. Olivier
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are denition and implementation of domain-specic languages, generation of program analysis...
Ecient Annotated Terms M.G.J. van den Brand 1 H.A. de Jong (2007)
How do distributed applications exchange tree-like data structures? We introduce the abstract data type of Annotated Terms (ATerms) and discuss their design, implementation and application. A...
A. Van Deursen, J. Heering, M. De Jonge, T. Kuipers, P. Klint, L. Moonen, ...
Abstract. The ASF+SDF Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for...
The ToolBus coordination architecture---a demonstration--- (2007)
Abstract. The ToolBus is a generic software architecture for building heterogeneous, distributed, systems. We demonstrate several applications that have been implemented using the ToolBus technology....
Term Rewriting for Sale M.G.J. van den Brand (2007)
Term rewriting has a large potential for industrial applications, but these applications are always larger than one could ever dream of: huge sets of rewrite rules and gigantic terms to rewrite pose...
J. Heering, P. Klint, J. Rekers
SDF is a formalism for the denition of syntax which is comparable to BNF in some respects, but has a wider scope in that it also covers the denition of lexical and abstract syntax. Its design and...
Supervisors Prof, P. Klint, Jurgen J. Vinju, Jurgen J. Vinju
I would like to thank Mark van den Brand for the initial subject of this thesis and his continuous scientific and personal support. For numerous discussions and well advise, I thank Pieter Olivier...
About “trivial” software patents: The IsNot case (2007)
So-called “trivial” software patents undermine the patenting system and are detrimental for innovation. In this paper we use a case-based approach to get a better understanding of this...
Software ENgineering Language parametric module management for IDEs (2007)
P. Klint, A. T. Kooiker, J. J. Vinju
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below...
Software ENgineering About "trivial " software patents: the IsNot case (2005)
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below...
ASF+SDF Meta-Environment User Manual Revision: 1.149 (2005)
This is a preliminary user manual for the ASF+SDF Meta-Environment Release 1.5. This is work under construction. Some images c ○ 2001-2002 www.arttoday.com.
Intelligente levering van productsoftware (2004)
Ballintijn, G., Brinkkemper, S., Jansen, R.L., Klint, P., Storm, T. Van Der
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below...
A Language Development Environment for Eclipse (2003)
The Asf+Sdf Meta-Environment provides a collection of tools for the generation of programming environments. We show how Eclipse can be extended with these generic language tools. By integrating the...
Domain-specific language design requires feature descriptions (2002)
A. Van Deursen, P. Klint, Arie Deursen, Paul Klint
Domain-specific language design requires feature descriptions
Compiling language definitions: The ASF+SDF compiler (2002)
J. Heering, P. Klint, P. A. Olivier
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition and implementation of domain-specific languages, generation of program...
Compiling language definitions: The ASF+SDF compiler (2002)
J. Heering, P. Klint, P. A. Olivier
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition of domain-specific languages, generation of program analysis and...
Domain-specific language design requires feature descriptions (2002)
A. Van Deursen, P. Klint, Arie Deursen, Paul Klint
Centrum voor Wiskunde en Informatica Software ENgineering Domain-specific language design requires feature descriptions
Compiling language definitions: The ASF+SDF compiler (2002)
J. Heering, P. Klint, P. A. Olivier
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition and implementation of domain-specific languages, generation of program...
Term rewriting with traversal functions (2001)
CWI is a founding member of ERCIM, the European Research Consortium for Informatics and Mathematics. CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below...
Term rewriting with traversal functions (2001)
Term rewriting is an appealing technique for performing program analysis and program transformation. Tree (term) traversal is frequently used but is not supported by standard term rewriting. We...
Term rewriting with traversal functions (2001)
Abstract Term rewriting is an appealing technique for performing program analysis and program transformation. Tree (term) traversal is frequently used but is not supported by standard term rewriting....
The ASF+SDF Meta-Environment: a Component-Based Language Development Environment (2001)
A. Van Deursen, J. Heering, M. De Jonge, T. Kuipers, P. Klint, ...
Abstract. The ASF+SDF Meta-Environment is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for...
The ASF+SDF Meta-Environment: a Component-Based Language Development Environment (2001)
A. Van Deursen, J. Heering, M. De Jonge, T. Kuipers, P. Klint, ...
Abstract. The ASF+SDF Meta-Environment is an interactive development environment for the auto-matic generation of interactive systems for constructing language definitions and generating tools for...
Compiling Language Definitions: The ASF+SDF Compiler (2000)
Heering, J., Klint, P., Olivier, P. A.
The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition of domain-specific languages, generation of program analysis and...
Efficient annotated terms (2000)
P. Klint, P. A. Olivier, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Domain-specific languages (2000)
A. Van Deursen, P. Klint, Arie Deursen, Paul Klint, Joost Visser
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Semantics of programming languages: a tool-oriented approach (2000)
J. Heering, P. Klint, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Paul Klint
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Efficient annotated terms (2000)
P. Klint, P. A. Olivier, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Compilation and memory management for ASF+SDF (1999)
P. Klint, P. A. Olivier, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Compilation and memory management for ASF+SDF (1999)
P. Klint, P. A. Olivier, Issn -x, Paul Klint, Pieter Olivier
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Efficient Annotated Terms (1999)
How do distributed applications exchange (tree-like) data structures? To this end, we introduce the abstract data type of Annotated Terms (ATerms) and discuss their design, implementation and...
The discrete time TOOLBUS - A software coordination architecture (1998)
The notion of “time” plays an important role when coordinating large, heterogeneous, distributed software systems. We present a generic coordination architecture that supports relative and...
Evolutionary software engineering: A component-based approach (1998)
Chris Verhoef, Chris Verhoef, P. Klint, C. Verhoef, Paul Klint, Paul Klint, ...
A software industry producing high-quality components that can be reused in many ways is an---unfulfilled---dream as old as the field of "software engineering " itself. In this...
Renovation of the ASF+SDF Meta-Environment—current state of affairs (1997)
J. Heering, P. Klint, Paul Klint
Published in collaboration with the
Reverse engineering and system renovation -- an annotated bibliography (1997)
To facilitate research in the eld of reverse engineering and system renovation we have compiled an annotated bibliography. We put the contributions not only in alphabetical order but also grouped by...
Validating year 2000 compliance (1997)
A. Van Deursen, P. Klint, A. Sellink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Validating year 2000 compliance (1997)
A. Van Deursen, P. Klint, A. Sellink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Validating year 2000 compliance (1997)
A. Van Deursen, P. Klint, A. Sellink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Centrum voor Wiskunde en Informatica REPORTRAPPORT Report SEN-R9704 (1997)
A. Van Deursen, P. Klint, Issn -x, Little Languages, P. Klint
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
The toolbus coordination architecture (1996)
Building large, heterogeneous, distributed software systems poses serious problems for the software engineer; achieving interoperability of software systems is still a major challenge. We describe an...
Industrial Applications of ASF+SDF (1996)
Mark Van Den, A. Van Deursen, P. Klint, A. S. Klusener, ...
In recent years, a number of Dutch companies have used the algebraic specification formalism ASF+SDF. Bank MeesPierson has specified a language for describing interest rate products, their...
Re-engineering needs Generic Programming Language Technology (1996)
Paul Klint, Paul Klint, Chris Verhoef, Chris Verhoef, ...
Generic language technology and compiler construction techniques are a prerequisite to build analysis and conversion tools that are needed for the re-engineering of large software systems. We argue...
Language Independent Structure Editing using the ToolBus (1996)
Using The Toolbus, Faculteit Wins, Sectie Programmatuur, Afstudeerdocent Prof. Dr, P. Klint, Begeleider Dr, ...
Reduction Machine code (Arm-code) 1 . This Arm-code is then interpreted by the Arm-interpreter [KW93, KW95], producing a stand-alone term rewriting system. 1 Created by P.A. Olivier and M.G.J. van...
Reverse Engineering and System Renovation - An Annotated Bibliography (1996)
To facilitate research in the field of reverse engineering and system renovation we have compiled an annotated bibliography. We put the contributions not only in alphabetical order but also grouped...
A. Van Deursen, P. Klint, A. S. Klusener
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
The Evolution of Implementation Techniques in the ASF+SDF Meta-environment (1995)
this paper. References
The ToolBus - a component interconnection architecture - (1994)
Building large, heterogeneous, distributed software systems poses serious problems for the software engineer; achieving interoperability of software systems is still a major challenge. We describe an...
A. Van Deursen, A. Van Deursen, P. Klint, P. Klint, F. Tip, F. Tip
In the framework of conditional, not necessarily orthogonal, term rewriting systems, we introduce the notion of an origin. Origins are relations between subterms of intermediate terms which occur...
A. Van Deursen, P. Klint, F. Tip
this paper is that of a path (occurrence), consisting of a sequence of natural numbers between brackets. Paths are used to indicate subterms of a term by interpreting numbers as argument positions of...
The Syntax Definition Formalism SDF - Reference Manual - (1992)
J. Heering, P. Klint, J. Rekers
SDF is a formalism for the definition of syntax which is comparable to BNF in some respects, but has a wider scope in that it also covers the definition of lexical and abstract syntax. Its design and...
Doctoral degree 30-03-1982; Department of Mathematics and Computing Science; Supervisors: F.E.J. Kruseman Aretz and H. Whitfield
Core Technologies for System Renovation
Mark Van, Paul Klint, Paul Klint, Chris Verhoef, Chris Verhoef, ...
. Renovation of business-critical software is becoming increasingly important. We identify fundamental notions and techniques to aid in system renovation and sketch some basic techniques: generic...