This thesis is a part of the Creol-project. Creol (Concurrent REflective Object-oriented Language) is a language designed to investigate programming constructs and reasoning control in the context of open object-oriented distributed systems.
There exist an abstract machine designed within Maude that is able to execute Creol-programs that are translated to CMC-code (Creol-Machine-Code). Earlier CMC-progrmas was translated by hand, and not very efficient for testing of Creol-programs. With that in mind we have implemented a compiler "CreolC" which is able to translate from Creol-code to CMC-code. The compiler also supports type-checking of Creol-code.
The compiler is designed using "compiler-generating" languages such as Flex and Bison in combination with C, to make it flexible regarding possible syntax extensions within the Creol-language.