[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

        Call for Participation FTfJP 2009

        11th Workshop on Formal Techniques for Java-like Programs
                    in conjunction with ECOOP 2009

                      July 6  2009 (Genova, Italy)

               http://people.cis.ksu.edu/~ab/FTfJP09/ftfjp09.html


IMPORTANT DATES

ECOOP early registration deadline  May 20
Workshop                           July 6


Registration for the workshop is via the ECOOP 2009 registration page
http://ecoop09.disi.unige.it/registration.html


ACCEPTED PAPERS

Juan Chen
A Typed Intermediate Language for Supporting Interfaces

Marieke Huisman
On the Interplay between the Semantics of Java's Finally Clauses and the JML 
Run-Time Checker

Lorenzo Bettini, Sara Capecchi and Ferruccio Damiani
A Mechanism for Flexible Dynamic Trait Replacement

Bruno De Fraine
Range Parameterized Types: Use-site Variance without the Existential Questions

Radu Grigore, Julien Charles, Fintan Fairmichael and Joseph Kiniry
Strongest Postcondition of Unstructured Programs

Nicholas Cameron and Sophia Drossopoulou
On Subtyping, Wildcards, and Existential Types

Steffen van Bakel and Reuben Rowe
Semantic Predicate Types for Class-based Object Oriented Programming

Frederic Besson
CPA beats oo-CFA

Robby and Patrice Chalin
Preliminary Design of a Unified JML Representation and Software Infrastructure

Alexander Summers
Modelling Java Requires State (short paper)

Reply via email to