Compositional compiler construction: Oberon0

Publication date

2015-12-15

Authors

Viera, Marcos
Swierstra, DoaitseISNI 0000000052441415

Editors

Advisors

Supervisors

Document Type

Article
Open Access logo

License

taverne

Abstract

We describe an implementation of an Oberon0 compiler using the techniques proposed in the CoCoCo project. The compiler is constructed out of a collection of pre-compiled, statically type-checked language-definition fragments written in Haskell.

Keywords

First-class attribute grammars, First-class grammars, Haskell, Oberon0, LDTA Tool Challenge, Taverne

Citation

Viera, M & Swierstra, S D 2015, 'Compositional compiler construction: Oberon0', Science of Computer Programming, vol. 114, pp. 45-56. https://doi.org/10.1016/j.scico.2015.10.008