Asynchronicity

Sometimes synchronicity is not enough

Archive for February 2009

Ott

leave a comment »

Ott is a very interesting tool to work with semantics. One of the project suggestions of Peter Sewell (one of the authors of Ott) is an extension to animate the semantics, searching possible derivations and typing judgements for a term. I have often thought about doing something similar to this, especially for CCS/pi-calculus.

Advertisements

Written by Andrei Formiga

February 25, 2009 at 2:22 pm

Posted in links

Tagged with ,