Modular Language Specifications in Haskell
Mirjana Drenovak Ivanović, Viktor Kunčak · 2000
A framework for speci cation of programming language semantics, abstract and concrete syntax, and lexical structure is proposed. The framework is based on Modular Monadic Semantics and allows independent specification of various language features. Features such as arithmetics, conditionals, exceptions, state and nondeterminism can be freely combined into working interpreters, facilitating experiments in language design. A prototype implementation of this system in Haskell is described and possibilities for more sophisticated interpreter generator are outlined.