Paul Klint: Selected Publications

Disclaimer

This page contains links to files in Postscript (ps), Portable Document Format (pdf) or Hypertext Markup Language (html) of articles that may be covered by copyright. Copying or distributing these files may violate copyright law. Please note that the definitive version of each paper is the published version. Please cite that version instead of giving an URL to the version provided here. In some cases a link is given to an author's version of a document that only differs in editing details from the published version. In other cases a link is given to a Digital Library for which subscription maybe required.

2012

  • Paul Klint and Atze van der Ploeg: Compositional 2D Graphics for Free, in preparation.
  • Mark Hills, Paul Klint and Jurgen Vinju: Exploring PHP Feature Usage for Static Analysis, submitted for publication.
  • Mark Hills, Paul Klint and Jurgen Vinju: Meta-Language Support for Type-Safe Access to External Resources, accepted for publication in Software Language Engineering 2012 (SLE 2012), 2012.
  • Mark Hills, Paul Klint and Jurgen Vinju: Scripting a Refactoring with Rascal and Eclipse, Fifth Workshop on Refactoring Tools 2012 (WRT 2012), To be published in the ACM Digital Library, 2012. pdf.
  • Mark Hills, Paul Klint, and Jurgen J. Vinju: Program Analysis Scenarios in Rascal, 9th International Workshop on Rewriting Logic and Its Applications (WRLA 2012), Invited Paper, To be published in LNCS, 2012, pdf
  • Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju: A One-Stop-Shop for Software Evolution Tool Construction. ERCIM News 2012(88). html

    • 2011

  • P. Klint, B. Lisser and A. van der Ploeg, Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software, Proceedings Solftware Language Engineering, SLE2011. In: Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), Editors: Saraiva, J. and Aßmann, U. and Sloane, A.M.. Springer, 1-18, 2011. pdf
  • P. Klint, Tijs van der Storm, Jurgen Vinju, EASY Meta-programming with Rascal, in João M. Fernandes, Ralf Lämmel, Joost Visser and João Saraiva (eds), Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers, LNCS Volume 6491, 2011, 222--289. bib, pdf, [Springer]
  • Basten, H.J.S. - Klint, P. - Vinju, J.J.: Ambiguity Detection: Scaling to Scannerless In: Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), Editors: Saraiva, J. and Aßmann, U. and Sloane, A.M.. Springer, 303-323, 2011. pdf
  • Bos, J. van den - Hills, M.A. - Klint, P. - Storm, T. van der - Vinju, J.J.: Rascal: From Algebraic Specification to Meta-Programming In: Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering (AMMSE 2011), Series: Electronic Proceedings in Theoretical Computer Science, Vol. 56, pp. 15 - 32, Editors: Rusu, V and Durán, F., 2011 pdf
  • Klint, P. - Hills, M.A. - Storm, T. van der - Vinju, J.J.: A case of visitor versus interpreter pattern In: Proceedings of International Conference on Objects, Models, Components and Patterns 2011 (49), 228-243,2011. pdf
  • Klint, P. - Vinju, J.J. - Hills, M.A.: RLSRunner: Linking Rascal with K for program analysis In: Proceedings of International Conference on Software Language Engineering 2011, 344-353, Springer, 2011. pdf
  • Hills, M.A. - Izamaylova, A. - Klint, P. - Ploeg, A., van der - Storm, T. van der - Vinju, J.J.: The Rascal meta-programming language - a lab for software analysis, transformation, generation & visualization In: Proceedings of ICT.Open 2011, 353--358, 2011. pdf

    • 2010

  • P. Klint, T. van der Storm, J.J. Vinju: On the Impact of DSL Tools on the Maintainability of Language Implementations In: Proceedings of Workshop on Language Descriptions, Tools and Applications 2010. ACM, 2010. bib, pdf, [ACM]

    • 2009

  • P. Klint, T. van der Storm and J.J. Vinju, EASY Meta-Programming with RASCAL, Proceedings of the Summer School on Generative and Transformational Techniques in Software Engineering 2009, Series: Lecture Notes in Computer Science, Vol. 6491, pp. 222 - 289. Springer, 2011. bib, pdf
  • P. Klint, J.J. Vinju, T. van der Storm, RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation, IEEE International Workshop on Source Code Analysis and Manipulation, 168-177, IEEE Computer Society, 2009. bib, pdf
  • P. Klint, Tribute to a great Meta-Technologist: from Centaur to The Meta-Environment, in Yves Bertot, Gerard Huet, Jean-Jacques Levy, Gordon Plotkin (eds.), From Semantics to Computer Science, Essays in Honour of Gilles Kahn, Cambridge University Press, 235--264, 2009. bib, pdf
  • P. Klint, J.J. Vinju, T. van der Storm, Language Design for Meta-prograrmming in the Software Composition Domain, in A. Bergel and J. Fabry (eds), Proceedings of the 8th International Conference on Software Composition, SC2009, LNCS 5634, 1--4, 2009. bib, pdf.
  • G. Economopoulos, P. Klint, J.J. Vinju, Faster Scannerless GLR Parsing, in O. de Moor and M.I. Schwartzbach (eds.), Proceedings of the 18th International Conference on Compiler Construction, CC2009, LNCS 5501, 126--141, 2009. bib, pdf
  • W.J. Fokkink, P. Klint, B. Lisser and Y.S. Usenko, Automated translation and analysis of a ToolBus script for auctions, in (F. Arbab and M. Sirjani, eds) Proc. 3rd Symposium on Fundamentals of Software Engineering - FSEN'09, Kish Island, Lecture Notes in Computer Science, Springer (April 2009) pdf

    • 2008

  • H.J.S. Basten and P.Klint. DeFacto: Language-Parametric Fact Extraction from Source Code. To appear in: Proceedings of the 1st International Conference of Software Language Engineering (SLE 2008), Toulouse, France, September 2008. pdf
  • W.J. Fokkink, P. Klint, B. Lisser, and Y.S. Usenko, Towards formal verification of ToolBus scripts. In J. Meseguer, G. Rosu (Eds.), Algebraic Methodology and Software Technology (12th International Conference, AMAST 2008, Urbana IL, USA, July 28-31, 2008, Proceedings). (Lecture Notes in Computer Science, Vol. 5140, pp. 160-166). Berlin: Springer. pdf
  • P. Klint Using Rscript for Software Analysis, Workshop on Query Technologies and Applications for Program Comprehension (QTAPC 2008), Amsterdam, June 10, 2008. pdf
  • J.A. Bergstra and P. Klint, The Software Invention Cube: A Classification Scheme for Software Inventions, Journal of Intellectual Property Rights 13(4), 2008, 293-300, National Institute of Science Communication and Information Resources , New Delhi, India. pdf

    • 2007

  • J.A. Bergstra and P. Klint, About "trivial" software patents: The IsNot case, Science of Computer Programming, 16(3), 2007, 264-285, Elsevier, bib, pdf, [Elsevier link]
  • M.G.J. van Brand and P. Klint, ATerms for manipulation and exchange of structured data: It's all about sharing, Information and Software Technology, 49(1), 2007, 55-64. bib, pdf, [Elsevier link]
  • M.G.J. van den Brand, M. Bruntink, G.R. Economopoulos, H.A. de Jong, P. Klint, T. Kooiker, T. van der Storm and J.J. Vinju, Using The Meta-Environment for Maintenance and Renovation, Proceedings of the Conference on Software Maintenance and Reengineering (CSMR'07),331-332, 2007, bib, pdf
  • A. van Deursen and P. Klint. In T.M.A. Bemelmans, M. van Keulen, R.J. Kusters en M. Looijen (Eds.) ICT Zakboek, Ch. VI.2 Programmatuur, pp. 69-108. Reed Business Information. bib
  • P. Klint, A.T. Kooiker and J.J. Vinju, Language parametric module management for IDEs, Proceedings of Seventh Workshop on Language Descriptions, Tools and Applications (LDTA 2007), Electronic Notes In Theoretical Computer Science (ENTCS), 3-17, 2007, pdf
  • P. Klint, The ToolBus: A service-Oriented Architecture for Language Processing Tools, ERCIM News 70, July 2007, html

    • 2005

  • P. Klint, T. van der Storm, J. Vinju, Term rewriting meets aspect-oriented programming, in A. Middeldorp, V. van Oostrom, F. van Raamsdonk and Roel C. de Vrijer (eds.) Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, 2005, 88-105, Springer, LNCS 3838. bib, pdf, [springer link]
  • P. Klint, R. Lämmel and C. Verhoef, Towards an engineering discipline for grammarware, Transaction on Software Engineering and Methodology, Vol. 14, No. 3, July 2005, 331-380. bib, pdf, pdf (ACM Digital Library)
  • P. Klint, A Tutorial Introduction to RScript--a Relational Approach to Software Analysis, draft, pdf, 2005.

    • 2004

  • Paul Klint and Tijs van der Storm, Reflections on Feature Oriented Software Engineering, Workshop on Managing Variabilities Consistently in Design and Code, held at the 19th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004), pdf
  • G. Ballintijn, S. Brinkkemper P. Klint, and T. van der Storm, Deliver: intelligent beheer en distributie van software (in Dutch), Informatie, jan/feb, 2004, pdf

    • 2003

  • M.G.J. van den Brand, P. Klint, and J.J. Vinju, Term Rewriting with Traversal Functions, ACM Transactions on Software Engineering Methodology, 12 (2):152-190 bib, pdf (ACM Digital Library), pdf
  • M.G.J. van den Brand, H.A. de Jong, P. Klint, and A.T. Kooiker, A Language Development Environment for Eclipse in: M.G. Burke (editor), eclipse Technology eXchange (eTX), 61--66, 2003. pdf
  • Nederland onderschat belang softwareontwikkeling (in Dutch, manifest signed by 15 software engineers), Automatisering Gids, november 14, 2003.
  • A. van Deursen and P. Klint, Henri Ford in Software Engineering: Op weg naar systematische softwarevariatie (in Dutch), Informatie 45 (april) 2003, 50-53, bib, pdf
  • H.A. de Jong and P. Klint, ToolBus: the Next Generation, F.S. de Boer, M.M. Bonsangue, S. Graf and W.P. de Roever (eds.) Formal Methods for Components and Objects, LNCS 2852, 2003, 220--241, bib, pdf
  • P. Klint, How Understanding and Restructuring differ from Compiling---a Rewriting Perspective, Proceedings of the International Workshop on Program Comprehension (IWPC03), IEEE Computer Society, 2003, 2-12. bib, pdf
  • J. Heering and P. Klint, Rewriting-Based Languages and Systems, in Terese (editor), Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science 55, pages 776 -- 789, Cambridge University Press, 2003. bib, pdf.

    • 2002

  • P. Klint and C. Verhoef, Enabling the Creation of Knowledge about Software Assets, Data and Knowledge Engineering, 41(2--cw3158):141-158, 2002. bib, pdf, ps
  • M.G.J. van den Brand, P. Klint, and J.J. Vinju, Term Rewriting with Type-safe Traversal Functions, in B. Gramlich and S. Lucas (eds), Second International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002), Electronic Notes in Theoretical Computer Science, Volume 70, issue 6, Elsevier Science Publishers, 2002. bib, pdf, ps.
  • A. van Deursen and P. Klint, Domain-Specific Language Design Requires Feature Descriptions, Journal of Computing and Information Technology, 10 (1):1-18, March 2002. bib, pdf, ps
  • A. van Deursen, P. Klint and J. Visser, Domain-specific Languages, in Allen Kent and James G. Williams (eds.), Encyclopedia of Microprocessors, Volume 28, 53--68, Marcel Dekker, Inc. New York, 2002. bib, ps
  • M.G.J. van den Brand, J. Heering, P. Klint and P.A. Olivier, Compiling language definitions: The ASF+SDF compiler. ACM Transactions on Programming Languages and Systems, 24 (4):334-368, July 2002, pdf (ACM Digital Library), bib, pdf

    • 2001

  • M.G.J. van den Brand, H.A. de Jong, P. Klint and P.A. Olivier, Annotated Terms for Efficient Data Exchange, Xootic Magazine, 9(2):20-30, 2001. bib, pdf, ps
  • M.G.J. van den Brand, P. Klint, and J.J. Vinju, Term Rewriting with Traversal Functions, (submitted). ps
  • P. Klint, Is Strategic Programming a Viable Paradigm? In B. Gramlich and S. Lucas (eds), Workshop on Reduction Strategies in Rewriting and Programming (WRS'01), Universidad Politecnica de Valencia, Departamento de Sistemas Informáticos y Computación, Report 2001.2359, 2001, 179-183. Also published in Electronic Notes in Theoretical Computer Science (ENTCS), Volume 57, 2001. bib, pdf, ps
  • P. Klint, Collaborative Development of Language Processing Tools (abstract), In M. van den Brand and D. Parigot (eds), First Workshop on Language Descriptions, Tools and Applications (LDTA'01), Electronic Notes in Theoretical Computer Science (ENTCS), Volume 44, Issue 2. pdf
  • 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, The ASF+SDF Meta-Environment: a Component-Based Language Development Environment. in: R. Wilhelm (ed). Proceedings of Compiler Construction (CC'01), LNCS 2027, 365--370, 2001. bib, pdf, ps

    • 2000

  • M.G.J. van den Brand, H.A. de Jong, P. Klint and P.A. Olivier, Efficient Annotated Terms, Software, Practice & Experience, 30(3):259--291, 2000. bib, pdf, ps
  • A. van Deursen, P. Klint and J. Visser. Domain-Specific Languages: An Annotated Bibliography ACM SIGPLAN Notices 35(6):26-36, June 2000. bib, ps
  • J. Heering and P. Klint Semantics of programming languages: A tool-oriented approach, ACM SIGPLAN Notices, 35(3):39-48, March 2000. bib, ps
  • A. van Deursen, B. Elsinga, P. Klint and Ron Tolido. From Legacy to Component: Software Renovation in Three Steps. CAP Gemini White Paper, 2000. bib, pdf, html

    • 1999

  • M.G.J. van den Brand, P. Klint and P.A. Olivier, Compilation and Memory Management for ASF+SDF. in: Proceedings of Compiler Construction (CC'99) (ed. S. Jähnichen), volume 1575 of LNCS, 198--213, Springer-Verlag, 1999 bib, pdf
  • A. van Deursen, P. Klint and C. Verhoef, Research Issues in Software Renovation. In J.-P. Finance (ed.), Fundamental Approaches to Software Engineering (FASE '99), LNCS 1-21, 1999. bib, pdf
  • A. van Deursen and P. Klint. Programmatuur. (In Dutch), In T. M. A. Bemelmans, redactie, ICT-Zakboekje Informatie en Communicatietechnologie, Hoofdstuk IV.2, pp. 664-738. PBNA, 1999. ps
  • P. Klint, Leven op een Software Vulkaan, (In Dutch), Automatisering Gids, week 50, 1999.

    • 1998

  • M.G.J. van den Brand, P. Klint and C. Verhoef Term Rewriting for Sale in: Proceedings of Second International Workshop on Rewriting Logic and its Applications, WRLA 98, (ed. C. Kirchner and H. Kirchner), Pont-a-Mousson, Nancy, France, September 1998. bib, ps, html
  • P. Klint and C. Verhoef, Evolutionary software engineering: A component-based approach, in R.N. Horspool (editor), IFIP WG 2.4 Working Conference: Systems Implementation 2000: Languages, Methods and Tools, 1--18, Chapman & Hall, 1998. pdf, ps, html
  • P. Klint and J. R. Nawrocki (editors), Proceedings of the Software Engineering Education Symposium, Scientific Publishers OWN, Polish Academy of Sciences, 1998.
  • A. van Deursen and P. Klint, Little languages: Little maintenance?, Journal of Software Maintenance, 10:75-92, 1998. bib, pdf
  • J. A. Bergstra and P. Klint, The discrete time ToolBus -- a software coordination architecture, Science of Computer Programming 31(2-3):205-229, 1998. bib, pdf, ps
  • M.G.J. van den Brand, P. Klint and P.A. Olivier, ATerms: Exchanging heterogeneous tools for CASL. html
  • P. Klint, Haalt de toren van Babel het jaar 2000? (In Dutch) Natuur & Techniek, Jaargang 66, nummer 12, 10--19, 1998.
  • P. Klint, Over natuurbeheer en wetenschapsbeleid, (in Dutch) in H. Konstapel, E. Vreedenburgh & G.P.J. Rijntjes (editors) De Onvermijdelijk Culturele Revolutie, Stichting Maatschappij en Onderneming, 262--264, 1998.
  • P. Klint, Een software kwekerij? (In Dutch) in H. Konstapel, E. Vreedenburgh & G.P.J. Rijntjes (editors) De Onvermijdelijk Culturele Revolutie, Stichting Maatschappij en Onderneming, 264--268, 1998. pdf
  • J.A. Bergstra and P. Klint, (In Dutch), Theorie en Logica eruit, het bedrijfsleven erin, Automatisering Gids, week ??, 1998.

    • 1997

  • A. van Deursen and P. Klint, Little Languages: Little Maintenance?, In S. Kamin (ed.) Proceedings of the First ACM-SIGPLAN Workshop on Domain-Specific Languages (DSL'97), 109--127, 1997. bib
  • A. van Deursen, P. Klint, Het jaar-200-probleem, (In Dutch), Computerrecht 6:266--271, 1997. pdf
  • M.G.J. van den Brand, P. Klint and C. Verhoef, Reverse Engineering and System Renovation: an Annotated Bibliography, ACM Software Engineering Notes, 22(1): 42--57, January 1997. bib, pdf, ps
  • M.G.J. van den Brand, P. Klint and C. Verhoef, Re-engineering needs generic programming language technology, ACM Sigplan Notices 32(2) 1997, 54--61. bib, pdf, ps
  • M.G.J. van den Brand, J. Heering, P. Klint, Renovation of the ASF+SDF Meta-Environment: Current State of Affairs, in: M.P.A. Sellink(ed.) 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97), Electronic Workshops in Computing, Springer, 1--13, 1997.
  • A. van Deursen, P. Klint and M.P.A. Sellink, Validating year 2000 compliance, CWI report SEN-R9713, 1997. pdf

    • 1996

  • J.A. Bergstra and P. Klint, The ToolBus Coordination Architecture, In P. Ciancarini and C. Hankin (eds) Proc. 1st Int. Conf. on Coordination Models and Languages, LNCS 1061, 75--88, 1996. bib
  • P. Klint and P.A. Olivier, The ToolBus Coordination Architecture: a demonstration, in W. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology (AMAST), LNCS 1101, 1996 575--578. bib, ps
  • A. van Deursen, J. Heering and P. Klint, Language Prototyping: An Algebraic Specification Approach Volume 5 of AMAST Series in Computing, World Scientific, Singapore, 1996. bib Language Prototyping
  • A. van Deursen, P. Klint and F. Tip Origin Tracking and Its Applications. In A. van Deursen, J. Heering and P. Klint, Language Prototyping: An Algebraic Specification Approach Volume 5 of AMAST Series in Computing, World Scientific, Singapore, 1996, 249--294.
  • M.G.J. van den Brand, P. Klint and C. Verhoef, Core Technologies for System Renovation, in: SOFSEM'96: Theory and Practice of Informatics, eds. Jeffery, K.G. and Král, J. and Barto\u{s}ek, M., Lecture Notes in Computer Science, Volume 1175, pp. 235-255, Springer-Verlag, 1996. bib, pdf, ps
  • P. Klint and G. Wijers, De renovatie van systemen: verbouw of nieuwbouw? Informatie, 38(6):6--11, 1996.
  • M.G.J. van den Brand, A. van Deursen, P. Klint, S. Klusener, E.A. van der Meulen, Industrial Applications of ASF+SDF, In M. Wirsing and M. Nivat (eds) Proceedings of Algebraic Methodology and Software Technology (AMAST'96), LNCS Vol. 1101, 9-18, 1996. bib, pdf, ps

    • 1995

  • J. Heering and P. Klint, Prehistory of the ASF+SDF system (1980 - 1984), 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. pdf, ps
  • P. Klint, The evolution of implementation techniques in the ASF+SDF Meta-Environment, 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. pdf, ps
  • P. Klint, From line numbers to origins, in: E.H.L. Aarts et al (eds), Simplex Sigillum Veri, Een liber amicorum voor Prof. dr. F.E.J. Kruseman Aretz, Technical University Eindhoven, 1995, 215--230. bib, pdf
  • J.A. Bergstra and P. Klint Een architectuur voor componentkoppeling: de eerste ervaringen met de ToolBus, (In Dutch) Informatie 37(6):370--378, 1995.
  • J.A. Bergstra and P. Klint, The Discrete Time ToolBus, University of Amsterdam, Programming Research Group, Report P9502. 1995. bib, pdf, ps
  • P. Klint, Over de rampzalige complexiteit van software mag niet gesproken worden, (In Dutch), Automatisering Gids, week ??, 1995.

    • 1994

  • P. Klint and E. Visser, Using filters for the disambiguation of contextfree grammars, in G. Pighizzini and P. San Pietro (eds.) Proceedings of the ASMICS Workshop on Parsing Theory, 1994, 1--20. bib, pdf, ps
  • J. Heering, P. Klint and J. Rekers, Lazy and incremental program generation, ACM Transactions on Programming Languages and Systems 16(3):1010--1023, May 1994. pdf (ACM Digital Library)
  • P. Klint, Het Europese ESPRIT programma, een persoonlijk perspectief, Informatie, 36(4):253--256, 1994. ps
  • J.A. Bergstra and P. Klint, The ToolBus: a Component Interconnection Architecture, University of Amsterdam, Programming Research Group, Report P9408. 1994. bib, pdf, ps

    • 1993

  • P. Klint, A Meta-Environment for Generating Programming Environments, ACM Transactions on Software Engineering and Methodology, 2(2):176-201,1993. bib, pdf
  • A. van Deursen, P. Klint and F. Tip Origin Tracking, Journal of Symbolic Computation, 15:523--545, 1993. Special issue on automatic programming. bib, pdf, ps

    • 1992

  • J. Heering, P. Klint and J. Rekers, Incremental generation of lexical scanners, ACM Transactions on Programming Languages and Systems 14(4):490--520, October 1992. pdf (ACM Digital Library)
  • P. Klint, T. Reps, G. Snelting, Programming Environments, Report on an International Workshop at Dagstuhl Castle, SIGPLAN Notices 27(11):90--96, November 1992.

    • 1991

  • P. Klint, Lazy Scanner Generation for Modular Lexical Grammars, CWI report CS-R9158, 1991.

    • 1990

  • J. Heering, P. Klint and J. Rekers, Incremental Generation of Parsers, IEEE Transactions on Software Engineering, 16(12):1344--1350, 1990. bib , pdf (ACM Digital Library)
  • J. A. Bergstra, J. Heering and P. Klint, Module algebra, Journal of the ACM, 37(2):335-372, April 1990. bib, pdf (ACM Digital Library)

    • 1989

  • J. Heering, P. Klint and J. Rekers, Incremental generation of parsers, ACM SIGPLAN Notices 24(7):179--191, 1989. bib, pdf (ACM Digital Library)
  • J.A. Bergstra, J. Heering and P. Klint (eds), Algebraic Specification, ACM Press/Addison-Wesley, 1989. bib Algebraic Specification
  • J.A. Bergstra, J. Heering and P. Klint, The Algebraic Specification Formalism ASF. In J.A. Bergstra, J. Heering and P. Klint (eds), Algebraic Specification, ACM Press, Frontier Series, 1989, 1--66.
  • J.A. Bergstra, J. Heering and P. Klint, A simple Programming Language and its Implementation. In J.A. Bergstra, J. Heering and P. Klint (eds), Algebraic Specification, ACM Press, Frontier Series, 1989, 67--132.
  • J. Heering and P. Klint, The Syntax Definition Formalism SDF. In J.A. Bergstra, J. Heering and P. Klint (eds), Algebraic Specification, ACM Press, Frontier Series, 1989, 283--358.
  • J. Heering and P. Klint, PICO Revisted. In J.A. Bergstra, J. Heering and P. Klint (eds), Algebraic Specification, ACM Press, Frontier Series, 1989, 359--379.
  • J. Heering, P. Hendriks, P. Klint and J. Rekers, The syntax definition formalism SDF - reference manual, SIGPLAN Notices 24(11): 43-75, 1989. bib, Updated version: ps

    • 1988

  • J. Heering and P. Klint ESPRIT'88: Putting the Technology to Use, North-Holland, 1988, 365--379.

    • 1986

  • J. Heering, G. Kahn, P. Klint and B. Lang, Generation of interactive programming environments, in: ESPRIT '85, Status Report of Continuing Work, Part I, North-Holland, 1986, pp. 467-477
  • J. Heering, P. Klint, A Syntax Definition Formalism, ESPRIT''86: Results and Achievements, North-Holland, 619--630, 1986.
  • J. Heering, P. Klint, The Efficiency of the Equation Interpreter compared with the UNH Prolog Interpreter, SIGPLAN Notices 21(2):18--21, 1986.

    • 1985

  • J. Heering and P. Klint, Towards monolingual programming environments, ACM Transactions on Programming Languages and Systems 7(2):183 - 213, April 1985. bib, pdf (ACM Digital Library)
  • P. Klint, A Study in String Processing Languages, LNCS 205, 1985. bib A Study in String Processing Languages

    • 1984

  • P. Klint and F.A.H. van Harmelen, Informatica-onderwijs in Spelvorm, Informatie 26:601-605, 1984.

    • 1983

  • P. Klint, A Survey of Three Language-independent Programming Environments, CWI Report, IW240, 1983. (Also published as INRIA Rapport de Recherche, No 257, pdf)
  • J. Heering and P. Klint (eds), Colloquium Programmeeromgevingen, Mathematical Centre Syllabus, 30, 1983.
  • P. Klint, Partiele Evaluatie als Implementatiemethode voor een programmeeromgeving. In J. Heering and P. Klint (eds), Colloquium Programmeeromgevingen, Mathematical Centre Syllabus, 30, 83--104, 1983.

    • 1982

  • P. Klint, From SPRING to SUMMER: Design, Definition and Implementation of programming Languages for String Manipulation and Pattern Matching, Technical University Eindhoven, 1982. (First promotor: F.E.J. Kruseman Aretz, Second promotor: H. Whitfield)

    • 1981

  • P. Klint, Interpretation Techniques, Software --- Practice & Experience, 11(9) 1981, 963--973. bib
  • P. Klint, Formal Language Definitions can be made Practical, Algorithmic Languages, 115--132, 1981.

    • 1980

  • P. Klint, An Overview of the SUMMER Programming Language, Conference Record of the 7th ACM Symposium on Principles of Programming Languages (POPL'80), 47--55, 1980.
  • P.J.W. ten Hagen, T. hagen, P. Klint, H. Noot, H.J. Sint and A,H, Veen, ILP: Intermediate Language for Pictures, Mathematical Centre Tracts, 130, 1980. ILP:Intermediate Language for Pictures
  • P. Klint (ed.), Colloquium Hogere Programmeertalen en Computerarchitectuur, Mathematical Centre Syllabus, 45, 1980.
  • P. Klint, De Symbiose van programmeertaal en Computer. In P. Klint (ed.), Colloquium Hogere Programmeertalen en Computerarchitectuur, Mathematical Centre Syllabus, 45, 1--21, 1980.

    • 1979

  • P. Klint, Line Numbers Made Cheap, Communications of the ACM 22 (10): 557 - 559, October 1979. bib, pdf (ACM Digital Library)

    • 1978

  • A. Tanenbaum, W. Boehm, P. Klint, Guidelines for Software Portability, Software-Practice & Experience, 8:681--698, 1978.
  • P. Klint and H.J. Sint, A Framework for the Integration of Graphics and Pattern Recognition, MC Report IW 96/78,1978.

    • 1977

  • T. Hagen, P.J.W. ten Hagen, H. Noot and P. Klint, The Intermediate Language for Pictures, in: B. Gilchrist (ed.) Proceedings IFIP Congress 77, 173--178, 1977.
  • P. Klint, Pattern Matching in SPRING. In J.C. van Vliet (ed.), Colloquium Capita Datastructuren, Mathematical Centre Syllabus 37, 65--83, 1977.

    • 1976

  • P. Klint, Portabiliteit, (In Dutch). In Colloquium Structuur van Programmeertalen, Mathematical Centre Syllabus, 25, 133-153, 1976.

    • 1975

  • P.J.W. ten Hagen, P. Klint, H. Noot and T. Hagen, Design of an Interactive Graphics System, MC Report IW 36, 1975.

    • 1973

  • P. Klint, Enumerability and Termination, Master's Thesis, University of Amsterdam, 1973. (Supervisor: F.E.J. Kruseman Aretz)

    • Valid HTML 4.01!