Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
433970 | Science of Computer Programming | 2015 | 12 Pages |
Abstract
•Oberon0 compiler implemented using the techniques proposed in the CoCoCo project.•Built from pre-compiled, statically type-checked language-definition fragments.•Written in Haskell.
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
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Marcos Viera, S. Doaitse Swierstra,