Kiama: Domain-Specific Languages for Language Implementation in Scala

In this talk we give an overview of our Kiama language processing library ( for Scala. Kiama-based programs use high-level domain-specific languages to describe structured input for parsing, static analysis of programs via attribute grammars, program transformation via rewriting, and output using pretty printing. We describe how Kiama works and illustrate some typical language processing tasks by implementing a version of the lambda calculus, the prototypical functional programming language.


Target Audience




schedule Submitted 1 year ago