This thesis is a part of the Creol-project. Creol (ConcurrentReflective Object-oriented Language) is a language designed toinvestigate programming constructs and reasoning control in thecontext of open object-oriented distributed systems. We therefor wanta tool which is easy to adjust as the semantics are altered. This toolis to be implemented in Maude, a language based upon rewriting logic.
In this thesis we design and implement anabstract machine which is to be a part the tool to executeCreol. This abstract machine consists of:
- a definition of CMC (Creol Machine Code), a high level machine code - translation rules for Creol to CMC, - an operational semantics in rewriting logic, - functional equations
The thesis discuss problem solving for a reasonable structuring ofCreol, how the operational semantics are to be designed, how Maude'ssearch function can be used for Creol and a discussion of itsusefulness.