RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.
This project is a translator of java .class files containing java
bytecode to the Common Language Architecture (CLI) executable code
files.
CLI, it is the base specification of Microsoft .Net framework (However, this projects intends to be
independe