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
Recon-Calc is a source code feature location tool based on the Software Reconnaissance technique. It allows you to name features of your system and then, based on coverage profiles gathered, you can find where they are implemented in the source code.1 weekly downloads
An XOCL (ECore + OCL) based implementation of the Gurevich ASMs0 weekly downloads