Skip to content

JML2BMLExplanation

Jump to bottom Edit New page
Attila Sukosd edited this page Mar 15, 2013 · 1 revision

JML2BML is a compiler which takes as an input a JML annotated Java source code and a compiled class file for the source code and translates the JML expressions into the corresponding BML expressions. The BML expressions are ebmeded into a new class file as appropriate attributes as defined in BML Reference Manual.

Version: 1 Time: Tue Jun 10 13:56:36 2008 Author: alx (None) IP: 193.0.96.15

Add a custom footer
Add a custom sidebar
Clone this wiki locally