Sometimes synchronicity is not enough

Archive for February 2009


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.


Written by Andrei Formiga

February 25, 2009 at 2:22 pm

Posted in links

Tagged with ,