Compositional compiler construction: Oberon0

Marcos Viera; S. Doaitse Swierstra

doi:10.1016/j.scico.2015.10.008

Compositional compiler construction: Oberon0

Marcos Viera, S. Doaitse Swierstra

Research output: Contribution to journal › Article › Academic › peer-review

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.

Original language	English
Pages (from-to)	45-56
Number of pages	12
Journal	Science of Computer Programming
Volume	114
DOIs	https://doi.org/10.1016/j.scico.2015.10.008
Publication status	Published - 15 Dec 2015

Keywords

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

Access to Document

10.1016/j.scico.2015.10.008

Oberon0Final published version, 882 KBLicence: Taverne

Cite this

@article{760d55baec4642448c5df39a26717297,

title = "Compositional compiler construction: Oberon0",

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",

author = "Marcos Viera and Swierstra, {S. Doaitse}",

year = "2015",

month = dec,

day = "15",

doi = "10.1016/j.scico.2015.10.008",

language = "English",

volume = "114",

pages = "45--56",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier BV",

}

TY - JOUR

T1 - Compositional compiler construction: Oberon0

AU - Viera, Marcos

AU - Swierstra, S. Doaitse

PY - 2015/12/15

Y1 - 2015/12/15

N2 - 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.

AB - 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.

KW - First-class attribute grammars

KW - First-class grammars

KW - Haskell

KW - Oberon0

KW - LDTA Tool Challenge

U2 - 10.1016/j.scico.2015.10.008

DO - 10.1016/j.scico.2015.10.008

M3 - Article

SN - 0167-6423

VL - 114

SP - 45

EP - 56

JO - Science of Computer Programming

JF - Science of Computer Programming

ER -

Compositional compiler construction: Oberon0

Abstract

Keywords

Access to Document

Fingerprint

Cite this