Publications

See also the publication list on researchr

The Spoofax Language Workbench

• Lennart C. L. Kats, Rob Vermaas, Eelco Visser. Integrated Language Definition Testing. Enabling Test-Driven Language Development. In Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2011), ACM, 2011. (abstract) (pdf) (bib)

• Ricky T. Lindeman, Lennart C. L. Kats, Eelco Visser. Declaratively Defining Domain-Specific Language Debuggers In Ewen Denney, Ulrik Pagh Schultz, editors, Proceedings of the Generative Programming and Component Engineering, 7th International Conference (GPCE 2011), ACM, 2011. (abstract) (pdf) (bib)

• Lennart C. L. Kats, Eelco Visser. The Spoofax Language Workbench. Rules for Declarative Specification of Languages and IDEs. In Martin Rinard, editor, Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2010), ACM, 2010. (abstract) (pdf) (bib)

• Lennart C. L. Kats, Karl T. Kalleberg, Eelco Visser. Interactive Disambiguation of Meta Programs with Concrete Object Syntax. In International Conference on Software Language Engineering (SLE 2010), Lecture Notes in Computer Science, Springer, 2010. (abstract) (draft) (bib)

• Lennart C. L. Kats, Karl T. Kalleberg, Eelco Visser. Domain-Specific Languages for Composable Editor Plugins. In Proceedings of the Ninth Workshop on Language Descriptions, Tools, and Applications (LDTA'09), Electronic Notes in Theoretical Computer Science. York, United Kingdom, March 2009. (abstract) (pdf) (bib)

• Lennart C. L. Kats, Karl T. Kalleberg, Eelco Visser. Generating Editors for Embedded Languages. Integrating SGLR into IMP. (Tool demonstration.) In Proceedings of the Eighth Workshop on Language Descriptions, Tools, and Applications (LDTA'08), April 2008. (abstract) (pdf) (bib)

Spoofax components

• Lennart C. L. Kats, Eelco Visser, Guido Wachsmuth. Pure and Declarative Syntax Definition: Paradise Lost and Regained. In Proceedings of Onward! 2010. ACM, 2010. (abstract) (pdf) (bib)

• Lennart C. L. Kats, Eelco Visser. Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability. In IEEE International Working Conference on Source Code Analysis and Manipulation 2010 (SCAM 2010), IEEE, 2010. (abstract) (pdf) (bib)

• Maartje de Jonge, Emma Nilsson-Nyman, Lennart C. L. Kats, Eelco Visser. Natural and Flexible Error Recovery for Generated Parsers. In Mark van den Brand, Jeff Gray, editors, Proceedings of Software Language Engineering (SLE 2009), pages 204-223, Lecture Notes in Computer Science, Springer, 2009. (abstract) (pdf) (bib)

• Lennart C. L. Kats, Maartje de Jonge, Emma Nilsson-Nyman, Eelco Visser. Providing Rapid Feedback in Generated Modular Language Environments. Adding Error Recovery to Scannerless Generalized-LR Parsing. In Gary T. Leavens, editor, Proceedings of the 24th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2009), pages 445-464, ACM, 2009. (abstract) (pdf) (bib)

• Karl T. Kalleberg and Eelco Visser. Fusing a Transformation Language with an Open Compiler, February 25 2007. Language Descriptions, Tools and Applications (LDTA 2007). (pdf) (bib).

The original Spoofax editor

(the following paper relates to the original Spoofax SDF and Stratego editor, not the Spoofax/IMP language workbench)

• Karl T. Kalleberg and Eelco Visser. Spoofax: An Interactive Development Environment for Program Transformation with Stratego/XT. In T. Sloane and A. Johnstone, editors, Seventh Workshop on Language Descriptions, Tools, and Applications (LDTA 2007), ENTCS, pages 47--50, Braga, Portugal, March 2007. Elsevier.

Presentations