[TYPES/announce] Call for Participation: 11th Workshop on Formal Techniques for Java-like Programs (FTfJP'09), Genova, Italy
Anindya Banerjee
ab at cis.ksu.edu
Mon May 18 11:30:19 EDT 2009
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)
More information about the Types-announce
mailing list