Generic Language Technology

The Generic Language Technology project hosts the development of programming language technology that supports the research of SEN1 (SWAT):

The Generic Language Technology project hosts the development of programming language technology that supports the research of SEN1 (SWAT):

  • The software and hardware infra-structure for software development at SEN1 (SWAT)
  • Rascal - a domain specific language for meta programming
  • ASF+SDF Meta-Environment - a programming language workbench based on context-free grammars and term rewriting
  • The ATerm library

See also software developed by SEN1 (SWAT).

Selected publications

  • Paul Klint, Tijs van der Storm, Jurgen J. Vinju. EASY Meta-Programming with Rascal. Leveraging the Extract-Analyze-SYnthesize Paradigm for Meta-Programming. In Proceedings of the 3rd International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'09). LNCS, Springer, 2010.
  • Paul Klint, Tijs van der Storm, Jurgen J. Vinju. RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation. In Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2009, Edmonton, Alberta, Canada, September 20-21, 2009. IEEE Computer Society, 2009.
  • Bas Basten, Jurgen J. Vinju. Faster ambiguity detection by grammar filtering. In Claus Brabrand, Pierre-Etienne Moreau, editors, Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS. pages 5, ACM, 2010.
  • Term rewriting with Traversal functions
    M.G.J. van den Brand, P. Klint, and J.J. Vinju.
    ACM Transactions on Software Engineering and Methodology (TOSEM), 12(2):152-190, 2003.
  • Compiling Rewrite Systems: The ASF+SDF Compiler
    Mark van den Brand, Jan Heering, Paul Klint, and Pieter Olivier.
    ACM Transactions on Programming Languages and Systems 24:334--368. 2002.
  • Efficient Annotated Terms
    M.G.J. van den Brand, H.A. de Jong, P. Klint and P.A. Olivier
    In Software-Practice and Experience 2000, 30:259-291.
  • Building Documentation Generators
    A. van Deursen and T. Kuipers
    In Proceedings International Conference on Software Maintenance (ICSM'99) IEEE Computer Society, 1999, 40-49.
  • The discrete time ToolBus
    J.A. Bergstra and P. Klint
    In Science of Computer Programming 1998, 31:205-229.
  • Toward a Complete Transformational Toolkit for Compilers
    J.A. Bergstra, T.B. Dinesh, J. Field and J. Heering.
    ACM Transactions on Programming Languages and Systems (TOPLAS) 1997, 19: 639-684.
  • Language Prototyping: An Algebraic Specification Approach
    A. van Deursen, J. Heering and P. Klint (eds.).
    AMAST Series in Computing, Volume 5, World Scientific, September 1996.

Project Members

  • Dr. Jurgen Vinju (project leader)
  • Prof. Dr. Paul Klint
  • Dr. Mark Hills
  • Dr. Tijs van der Storm
  • Drs. Arnold Lankamp
  • Drs. Bert Lisser
  • Dr. Vadim Zaytsev
  • Drs. Bas Basten
  • Maarten Dijkema

Contributors

The ASF+SDF Meta-Environment and related projects in Generic Language Technology thanks a vast number of contributors, ranging from former GLT project leaders to programmers and maintainers from institutes around the world):
Mark van den Brand (project leader), Taeke Kooiker, Hayco de Jong, Pieter Olivier, Rob Economopoulos, Pierre-Etienne Moreau, Julien Guyon, Antoine Reilles, Steven Klusener, Ernst-Jan Verhoeven, Peter Mosses, Jørgen Iversen, Bas Cornelissen, Cathal Boogerd, Gerco Ballintijn, Leon Moonen, Albert Hofkamp, Eelco Visser, Martin Bravenboer, Eelco Dolstra, Joost Visser, Merijn de Jonge, Tobias Kuipers, Jeroen Scheerder, Anthony Cleve, Arie van Deursen, Eggie van Buiten, Ralph Oudejans, Ralf Lämmel, Erik Scheffers.

Collaborations

  • TU Eindhoven
  • TU Delft
  • INRIA-LORIA
  • INRIA Lille Nord Europe
  • IBM TJ Watson Research Institute