Volume 3, no. 6 (June 2004)

Editorial

Richard Wiener, Editorial, PDF, HTML.

Articles

Davide Ancona, Giovanni Lagorio, Stronger Typings for Separate Compilation of Java-like Languages, pp. 5-25, PDF, HTML.
Mike Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte, Verification of Object-Oriented Programs with Invariants, pp. 27-56, PDF, HTML.
Patrice Chalin, JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics, pp. 57-79, PDF, HTML.
Stephen Freund, Shaz Qadeer, Checking Concise Specifications for Multithreaded Software, pp. 81-101, PDF, HTML.
Christoph von Praun, Thomas R. Gross, Static Detection of Atomicity Violations in Object-Oriented Programs, pp. 103-122, PDF, HTML.