ECOOP Workshop on Formal Techniques for Java-like Programs FTfJP'2002 Málaga, Spain, June 10, 2002

These proceedings have appeared as technical report, number NIII-R0204, at the Computing Science Department, University of Nijmegen, 2002.

Revised and expanded versions of selected papers of FTfJP'2002 have appeared in a special issue of Journal of Concurrency and Computation: Practice and Experience (CCPE).

• The Java Memory Model Simulator [PDF]    
  Jeremy Manson and William Pugh     Also available: the slides [PDF,ppt] and the simulator itself.

• Type-Preserving Compilation of Featherweight IL [PDF]
  Dachuan Yu, Valery Trifonov, Zhong Shao

• Simple Verification Technique for Complex Java Bytecode Subroutines [PDF]
  Alessandro Coglio

• Intraprocedural Analysis for JVML Verification [PDF]
  William Retert and John Boyland

• Analyzing the Java Package/Access Concepts in Isabelle/HOL [PDF]
  Norbert Schirmer

• Checking Ownership and Confinement Properties [PDF]
  Alex Potanin and James Noble

• Non-null types in an object-oriented language [PDF]
  Manuel Fahndrich and Rustan Leino

• Transposing F to C# [PDF]
  Andrew Kennedy and Don Syme

• From Process Algebra to Java Code [PDF]
  Andrew Phillips, Susan Eisenbach and Daniel Lister

• Model Checking Java Using Pushdown Systems [PDF]
  Jan Obdrzalek

• Specifying and Checking Java using CSP [PDF]
  Michael Möller

• Predicate Transformation as Proof Strategy [PDF]
  Nicole Rauch and Arnd Poetszch-Heffter

Short Position Papers

• Accessibility & Helper Types [PDF]
  Jan Dockx

• Towards an Algebraic Formalization of Sequential Java-like Programs with Implicit States [PDF]
  Kazem Lellahi and Alexandre Zamulin

Programme Committee

• Gilad Bracha           (Sun Microsystems, USA)
• Sophia Drossopoulou           (Imperial College, Great Britain)
• Susan Eisenbach           (Imperial College, Great Britain)
• Doug Lea           (State University of New York at Oswego, USA)
• Gary T. Leavens           (Iowa State University, USA)
• Rustan Leino           (Microsoft Research, USA)
• Peter Müller           (ETH Zurich, Switzerland)
• David Naumann           (Stevens Institute of Technology, USA)
• Arnd Poetzsch-Heffter           (University of Kaiserslautern, Germany)
• Erik Poll               (University of Nijmegen, the Netherlands)
• Don Syme           (Microsoft Research, Great Britain)