Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: Opis

Opis

A functional-reactive approach for developing distributed systems in Objective Caml. In Opis, a protocol description consists of a reactive function (called event function) describing the behavior of a distributed system node. The event functions in Opis are built from pure functions as building blocks, composed using the Arrow combinators. This facilitates reasoning about event functions both informally and using interactive provers. For example, this approach leads to simple termination arguments.
Homepage ]
Author:Viktor Kuncak, Dejan Kostic, and Pierre-Evariste Dagand.
Last modification date:19-Aug-2008
Development status:Beta
Kind: Libraries :: Native OCaml libraries
Topic: System :: Distributed and parallel programming
Homepage:http://perso.eleves.bretagne.ens-cachan.fr/~dagand/opis/