2007 International Workshop on
Foundations and Developments of Object-Oriented Languages
(FOOL/WOOD '07)

Sponsored by ACM SIGPLAN

Saturday, 20 January 2007
Nice, France

Program and online proceedings

0900-1000

Invited talk:

• Deductive Verification of Java programs with Algebraic Modeling and Multi-Prover Backend: the Why/Krakatoa platform.
  Claude Marché (INRIA Futurs)
  [Abstract]

1000-1030

Break

1030-1200

Session 1:

• Reasoning About Class Behavior
  Vasileios Koutavas and Mitchell Wand
  [Abstract] [Paper (pdf)]

• Generic Universe Types
  Werner Dietl, Sophia Drossopoulou and Peter Müller
  [Abstract] [Paper (pdf)]

• Fine-Grained Api Evolution for Method Deprecation and Anti-Deprecation
  S. Alexander Spoon
  [Abstract] [Paper (pdf)]

1200-1330

Lunch

1330-1430

Invited talk:

• Fortress and Object-Oriented Programming
  Eric Allen (Sun Microsystems Laboratories)
  [Abstract]

1430-1530

Session 2:

• Variant Path Types for Scalable Extensibility
  Atsushi Igarashi and Mirko Viroli
  [Abstract] [Paper (pdf)]

• On Decidability of Nominal Subtyping with Variance
  Andrew Kennedy and Benjamin Pierce
  [Abstract] [Paper (pdf)]

1530-1600

Break

1600-1730 Session 3:

• Formalizing and Extending C# Type Inference
  Gavin Bierman
  [Abstract] [Paper (pdf)]

• Combining Structural Subtyping and External Dispatch
  Donna Malayeri and Jonathan Aldrich
  [Abstract] [Paper (pdf)]

• LazyJ: Seamless Lazy Evaluation in Java
  Alessandro Warth
  [Abstract] [Paper (pdf)]