Ozma

Ozma is a programming language based on Scala, with extensions regarding concurrency. It adds three paradigms of the Oz programming language to Scala: declarative concurrency, lazy execution (demand-driven execution) and message-passing concurrency.

Ozma does not compile towards the JVM nor the MSIL. Instead, it compiles towards the Mozart programming system. This runtime provides built-in support for these three concurrency models.

Ozma is developed as a master thesis at the Université Catholique de Louvain, under the supervision of Pr Peter Van Roy. The text of the master thesis (http://ks365195.kimsufi.com/~sjrd/master-thesis.pdf) details the design and implementation, as well as rationale for the Ozma programming language.

Tags

compiler dataflow language mozart-oz scala