Epsilon is a provably secure programming language based on the syntax of ErlangFeatures
- Utilises the decentralised label model developed for Jif
- Provably secure
This language has been created as part of my PhD research. Once published, the accompanying thesis will be made available containing a full description of the implementation together with the syntax for Epsilon.
See the ReadMe.txt file for more information