Paul Klint

Affiliations:
  • Centrum Wiskunde & Informatica, Amsterdam, Netherlands


According to our database1, Paul Klint authored at least 82 papers between 1977 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Eelco Visser as a Typographic Designer.
Proceedings of the Eelco Visser Commemorative Symposium, 2023

2019
Rascal, 10 Years Later.
Proceedings of the 19th International Working Conference on Source Code Analysis and Manipulation, 2019

2017
Enabling PHP software engineering research in Rascal.
Sci. Comput. Program., 2017

2016
Model Transformation with Immutable Data.
Proceedings of the Theory and Practice of Model Transformations, 2016

2015
Modular language implementation in Rascal - experience report.
Sci. Comput. Program., 2015

M3: A general model for code analytics in rascal.
Proceedings of the 1st IEEE International Workshop on Software Analytics, 2015

2014
Static, lightweight includes resolution for PHP.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

PHP AiR: Analyzing PHP systems with Rascal.
Proceedings of the 2014 Software Evolution Week, 2014

2013
M3: An Open Model for Measuring Code Artifacts.
CoRR, 2013

Micro-Machinations - A DSL for Game Economies.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

A Library for Declarative Resolution-Independent 2D Graphics.
Proceedings of the Practical Aspects of Declarative Languages, 2013

An empirical study of PHP feature usage: a static analysis perspective.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

Exploring the Limits of Domain Model Recovery.
Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

2012
A One-Stop-Shop for Software Evolution Tool Construction.
ERCIM News, 2012

Program Analysis Scenarios in Rascal.
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Meta-language Support for Type-Safe Access to External Resources.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

Scripting a refactoring with Rascal and Eclipse.
Proceedings of the Fifth Workshop on Refactoring Tools 2012, 2012

Game Developers Need Lua AiR - Static Analysis of Lua Using Interface Models.
Proceedings of the Entertainment Computing - ICEC 2012 - 11th International Conference, 2012

2011
Rascal: From Algebraic Specification to Meta-Programming
Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011

A Case of Visitor versus Interpreter Pattern.
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software.
Proceedings of the Software Language Engineering - 4th International Conference, 2011

RLSRunner: Linking Rascal with K for Program Analysis.
Proceedings of the Software Language Engineering - 4th International Conference, 2011

Ambiguity Detection: Scaling to Scannerless.
Proceedings of the Software Language Engineering - 4th International Conference, 2011

2010
On the impact of DSL tools on the maintainability of language implementations.
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

2009
Language Design for Meta-programming in the Software Composition Domain.
Proceedings of the Software Composition - 8th International Conference, 2009

RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation.
Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

EASY Meta-programming with Rascal.
Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

Automated Translation and Analysis of a ToolBus Script for Auctions.
Proceedings of the Fundamentals of Software Engineering, 2009

Faster Scannerless GLR Parsing.
Proceedings of the Compiler Construction, 18th International Conference, 2009

2008
DeFacto: Language-Parametric Fact Extraction from Source Code.
Proceedings of the Software Language Engineering, First International Conference, 2008

Towards Formal Verification of ToolBusScripts.
Proceedings of the Algebraic Methodology and Software Technology, 2008

2007
About "trivial" software patents: The IsNot case.
Sci. Comput. Program., 2007

ATerms for manipulation and exchange of structured data: It's all about sharing.
Inf. Softw. Technol., 2007

The ToolBus: A Service-Oriented Architecture for Language-Processing Tools.
ERCIM News, 2007

Language Parametric Module Management for IDEs.
Proceedings of the Seventh Workshop on Language Descriptions, Tools, and Applications, 2007

Using The Meta-Environment for Maintenance and Renovation.
Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007

2005
Toward an engineering discipline for grammarware.
ACM Trans. Softw. Eng. Methodol., 2005

Language definitions and tool generation.
IEE Proc. Softw., 2005

Term Rewriting Meets Aspect-Oriented Programming.
Proceedings of the Processes, 2005

2003
Term rewriting with traversal functions.
ACM Trans. Softw. Eng. Methodol., 2003

A language development environment for Eclipse.
Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003

How Understanding and Restructuring Differ from Compiling - A Rewriting Perspective.
Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), 2003

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

Term Rewriting with Type-safe Traversal Functions.
Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, 2002

Enabling the creation of knowledge about software assets.
Data Knowl. Eng., 2002

ToolBus: The Next Generation.
Proceedings of the Formal Methods for Components and Objects, 2002

2001
Is Strategic Programming a Viable Paradigm?
Proceedings of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, 2001

Collaborative Development of Interactive Language Processing Tools.
Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 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
Efficient annotated terms.
Softw. Pract. Exp., 2000

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

Domain-Specific Languages: An Annotated Bibliography.
ACM SIGPLAN Notices, 2000

1999
Research Issues in the Renovation of Legacy Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

Compilation and Memory Management for ASF+SDF.
Proceedings of the Compiler Construction, 8th International Conference, 1999

1998
Little languages: little maintenance?
J. Softw. Maintenance Res. Pract., 1998

The Discrete Time TOOLBUS - A Software Coordination Architecture.
Sci. Comput. Program., 1998

Term rewriting for sale.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Evolutionary software engineering: a component-based approach.
Proceedings of the Systems Implementation 2000, 1998

1997
Reverse engineering and system renovation - an annotated bibliography.
ACM SIGSOFT Softw. Eng. Notes, 1997

Re-engineering Needs Generic Programming Language Technology.
ACM SIGPLAN Notices, 1997

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

Core Technologies for System Renovation.
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996

The TOOLBUS Coordination Architecture.
Proceedings of the Coordination Languages and Models, First International Conference, 1996

The TOOLBUS Coordination Architecture - A Demonstration.
Proceedings of the Algebraic Methodology and Software Technology, 1996

Industrial Applications of ASF+SDF.
Proceedings of the Algebraic Methodology and Software Technology, 1996

The Discrete Time TOOLBUS.
Proceedings of the Algebraic Methodology and Software Technology, 1996

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

1993
A Meta-Environment for Generating Programming Environments.
ACM Trans. Softw. Eng. Methodol., 1993

Origin Tracking.
J. Symb. Comput., 1993

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

Programming environments: report on an international workshop at Dagstuhl Castle.
ACM SIGPLAN Notices, 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
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

A Study in String Processing Languages
Lecture Notes in Computer Science 205, Springer, ISBN: 3-540-16041-8, 1985

1981
Interpretation Techniques.
Softw. Pract. Exp., 1981

1980
An Overview of the Summer Programming Language.
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1979
Line Numbers Made Cheap.
Commun. ACM, 1979

1978
Guidelines for Software Portability.
Softw. Pract. Exp., 1978

1977
The Intermediate Language for Pictures.
Proceedings of the Information Processing, 1977


  Loading...