Formal Techniques for Java Programs

This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations and discussions.

• Type: Conference
• Year: 2001
• Where: ECOOPW
• Authors: Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll
• Keywords: Distributed And Parallel Computing, ECOOPW 2001, Formal Techniques, Java Programs, Motivation