Showing page 1 of 1.
The purpose of the project is to develop a programming language whose semantics is based on a minimal, imperative mathematical machine.8 weekly downloads
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 ar0 weekly downloads