Travelled to:1 × Canada
1 × Italy
Collaborated with:B.Jacobs M.Huisman M.v.Berkum
Talks about:java (2) reason (1) compil (1) class (1) about (1) loop (1) jml (1)
Person: Joachim van den Berg
DBLP: Berg:Joachim_van_den
Contributed to:
2001
1998Wrote 2 papers:
- TACAS-2001-BergJ #compilation #java #ml
- The LOOP Compiler for Java and JML (JvdB, BJ), pp. 299–312.
- OOPSLA-1998-JacobsBHB #java #reasoning
- Reasoning about Java Classes (BJ, JvdB, MH, MvB), pp. 329–340.