Up: Documentation, Prev: Examples

The following research papers have been published and presentations have been given about Kiama-related topics. The most recent resources are listed first in each category. Some of the conference papers or tutorials also have associated slides.

General

Sloane, A. M. Overview of the Kiama Language Processing Library. Presentation at ScalaSyd September 14, 2011. Slides.

Sloane, A. M. Lightweight Language Processing in Kiama and Scala. Presentation at Scala Days 2010. Video. Slides.

Sloane, A. M. Lightweight Language Processing in Kiama. Tutorial at 3rd Summer School on Generative and Transformational Techniques in Software Engineering, July 2009. Slides.

Sloane, A. M. Experiences with domain-specific language embedding in Scala. In Proceedings of the 2nd International Workshop on Domain-Specific Program Development (2008), J. Lawall and L. Reveillere, Eds.

Attribute grammars

Sloane, A. M., Kats, L. C. L., and Visser, E. A pure embedding of attribute grammars. Science of Computer Programming, 2011 (in press). ScienceDirect. This paper is a revised and extended version of the LDTA 2009 workshop paper.

Sloane, A. M., Kats, L. C. L., and Visser, E. A pure object-oriented embedding of attribute grammars. In Proceedings of the 9th Workshop on Language Descriptions, Tools and Applications (2009), J. Vinju and T. Ekman, Eds. Electronic Notes in Theoretical Computer Science, 253(7), September 2010, 205--219, Elsevier. Slides.

Kats, L., Sloane, A. M., and Visser, E. Decorated attribute grammars: Attribute evaluation meets strategic programming. In Proceedings of the International Conference on Compiler Construction (2009), no. 5501 in Lecture Notes in Computer Science, Springer-Verlag, pp. 142–157.

Rewriting

Sloane, A. M. Embedding a Rewriting DSL in Scala. Talk at fp-syd, November 19, 2009. Slides.

Pretty printing

Sloane, A. M. Functional Pretty Printing Combinators in Scala. Talk at fp-syd, July 21, 2011. Video Slides

Examples

Sloane, A. M. Introduction to Partial Evaluation. Talk at fp-syd, October 20, 2011. Slides. Code. This code makes use of Kiama's pretty-printing and REPL features, plus shows state monads in Scala. Based on Cook and Laemmel's DSL 2011 tutorial.

Sloane, A. M. Launchbury's Natural Semantics for Lazy Evaluation. Talk at fp-syd, September 16, 2010. Slides. Code. This code makes some use of Kiama's rewriting library.

Up: Documentation, Prev: Examples