A formal semantics for mOPS5
Herbert Groiss · 2002
A formal declarative semantics of the rule-based language mOPS5 is defined. As the name of the language implies, it is a simplified version of OPS5. First we describe this language informally, the semantics of mOPS5 is then defined in terms of Datalog, a logic programming language, which has a well-defined minimal model semantics and fixpoint semantics. The availability of a clean semantics has several advantages: it allows program analysis and optimization as well as judging the correctness of implementations.