Project's new home is at https://gitlab.com/skibcsit/TOOP
This is an interpreter for object-oriented sigma calculus described in
M. Abadi, L. Cardelli. A theory of objects. – Springer Berlin, 1996.
The interpreter is available online at
and is used during the Object-Oriented Programming MSc course at the Cybernetics dept. of NRNU MEPhI.
Implementation language is Scala and the project is built with sbt.
We've found the following alternative interpreters:
- http://types.bu.edu/seminar-ool-mini/sigma.html
- http://sigmaid.gforge.inria.fr
- https://github.com/slomo/simigma
Unfortunately, none of them has an online interface.