Searching for "The LOOP Compiler for Java and JML." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
The LOOP compiler for Java and JML
- …The loop compiler for Java and JML Joachim van den Berg, Bart Jacobs Computing Science Institute…
- Cited by 75 (12 self) – Add To MetaCart
-
ESC/Java2: Uniting ESC/Java and JML - Progress and issues in building and using ESC/Java2
- …://www.cs.iastate. edu/˜leavens/JML/papers.shtml. 2. J. v. d. Berg and B. Jacobs. The LOOP compiler for Java and JML…
- Cited by 36 (6 self) – Add To MetaCart
-
Coalgebraic Specifications in Object-Oriented Programming
- … …………………………………………………. 77 8.1. CCSL case studies ……………………………………… 77 8.2. The LOOP compiler for Java and JML ………………… 77 8…
- Add To MetaCart
Showing 1 through 3.
