Kiama is a library of internal domain-specific languages for software
language engineering. It's main components address tree decoration via
attribute grammars (package attribution), tree transformation via
strategic term rewriting (package rewriting), and dynamic semantics
(package machine).
The util package contains support modules for parsing, pretty printing,
input/output, read-eval-print loops (REPLs) and pattern matching.
The examples package (available as part of the Kiama tests) contains
many examples of using Kiama to solve small to medium language processing
problems.
Visibility
Public
All
Type Members
type==>[T, U] = PartialFunction[T, U]
Convenient type constructor for partial functions.
Convenient type constructor for partial functions.
Kiama is a library of internal domain-specific languages for software language engineering. It's main components address tree decoration via attribute grammars (package
attribution), tree transformation via strategic term rewriting (packagerewriting), and dynamic semantics (packagemachine).The
utilpackage contains support modules for parsing, pretty printing, input/output, read-eval-print loops (REPLs) and pattern matching.The
examplespackage (available as part of the Kiama tests) contains many examples of using Kiama to solve small to medium language processing problems.