Searching for authors named "Joachim van den Berg" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
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
-
Specifying and Verifying a Decimal Representation in Java for Smart Cards
- …, Bart Jacobs, and Joachim van den Berg Computing Science Institute, University of Nijmegen Toernooiveld…
- Cited by 15 (4 self) – Add To MetaCart
-
Formal Specification and Verification of JavaCard's Application Identifier Class
- …Formal Specication and Verication of JavaCard's Application Identier Class ? Joachim van den Berg…
- Cited by 8 (4 self) – Add To MetaCart
-
First steps in formalising JML: Exceptions in Predicates
- …First steps in formalising JML: exceptions in predicates Joachim van den Berg, Erik Poll, Bart…
- Cited by 3 (3 self) – Add To MetaCart
-
A Type-Theoretic Memory Model for Verification of Sequential Java Programs
- …A Type-Theoretic Memory Model for Verication of Sequential Java Programs ? Joachim van den Berg…
- Cited by 23 (9 self) – Add To MetaCart
-
A Case Study in Class Library Verification: Java's Vector Class
- … Huisman, Bart Jacobs, Joachim van den Berg Computing Science Institute, University of Nijmegen…
- Cited by 21 (6 self) – Add To MetaCart
-
A Type-Theoretic Memory Model for Veri cation of Sequential Java Programs
- … Programs ? Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll Dep. Comp. Sci., Univ. Nijmegen…
- Add To MetaCart
-
Reasoning about Java classes
- …Reasoning about Java Classes (Preliminary Report) Bart Jacobs, Joachim van den Berg, Marieke…
- Cited by 18 (0 self) – Add To MetaCart
Showing 1 through 8.
