Volume 3, no. 6 (June 2004)

Workshop on Formal Techniques for Java-like Programs (FTfJP), ECOOP 2003

Editorial

• Susan Eisenbach, Peter Müller, Arnd Poetzsch-Heffter, Guest Editorial, PDF, HTML, DOI.

Articles

• Davide Ancona, Giovanni Lagorio, Stronger Typings for Separate Compilation of Java-like Languages, pp. 5-25, PDF, HTML, DOI.
• 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, DOI.
• Patrice Chalin, JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics, pp. 57-79, PDF, HTML, DOI.
• Stephen Freund, Shaz Qadeer, Checking Concise Specifications for Multithreaded Software, pp. 81-101, PDF, HTML, DOI.
• Christoph von Praun, Thomas R. Gross, Static Detection of Atomicity Violations in Object-Oriented Programs, pp. 103-122, PDF, HTML, DOI.