Volume 3, no. 6 (June 2004)
Workshop on Formal Techniques for Java-like Programs (FTfJP), ECOOP 2003
Editorial
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.