BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Berg:Joachim_van_den

Contributed to:

TACAS 20012001
OOPSLA 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.