| The RESOLVE analyzer is the front end of a compiler for the RESOLVE language.
Click HERE
for the grammar. The current version translates RESOLVE files to Java,
reporting the same kinds of errors a compiler would report. It will also generate
verification conditions for a limited class of implementations.The current version
of the analyzer can translate a class of RESOLVE files and type-check programming
expressions; a version that type-checks mathematical expressions is expected to be
available shortly. Because the analyzer is incomplete, it may incorrectly pass a file
that should have failed analysis, but it should never fail a file that should have
passed analysis.The analyzer is still the beta stage of development, so if you have
a file that you think is correct but failed analysis, please report it
to Murali Sitaraman. |