[ACM Press the 6th international conference - Salzburg, Austria (2007.10.01-2007.10.03)] Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07 - Constructing language processors with algebra combinators

✍ Scribed by Weaver, Philip; Kimmell, Garrin; Frisby, Nicolas; Alexander, Perry

• Book ID: 126994898
• Publisher: ACM Press
• Year: 2007
• Weight: 189 KB
• Category: Article
• ISBN: 1595938559
• DOI: 10.1145/1289971.1289997

✦ Synopsis

Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is that families of language constructs can be independently specified and later combined in a mix-and-match fashion to create a complete language semantics. This has proved useful for constructing formal, yet executable, semantics when prototyping languages. In this work we demonstrate that MMS has an additional software engineering benefit. Rather than composing semantics for various language constructs, we can use MMS to compose various differing semantics for the same language constructs. We describe algebra combinators, the principal vehicle for achieving this reuse, along with a series of applications of the technique for common language processing tasks.