This project consolidates 8 years of research on abstract specification of business contracts, mainly in the financial instruments area. The syntax of ContractML is defined in XML-Schema and MOF/UML, using EMF to implement/generate the API and GUI. We ar
Fireclipse: experiments in leveraging Eclipse + Firefox for Javascript Development
The purpose of the project is to develop a programming language whose semantics is based on a minimal, imperative mathematical machine.