Abstract is missing.
- Featherweight X10: a core calculus for async-finish parallelismJens Palsberg. 1 [doi]
- AmbientTalk: modern actors for modern networksTom Van Cutsem. 2 [doi]
- Corecursive Featherweight JavaDavide Ancona, Elena Zucca. 3-10 [doi]
- Encoding Featherweight Java with assignment and immutability using the Coq proof assistantJulian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas R. Cameron. 11-19 [doi]
- A type system for regular expressionsEric Spishak, Werner Dietl, Michael D. Ernst. 20-26 [doi]
- Verifying the reflective visitor patternBen Horsfall, Nathaniel Charlton, Bernhard Reus. 27-34 [doi]
- Verifying backwards compatibility of object-oriented libraries using BoogieYannick Welsch, Arnd Poetzsch-Heffter. 35-41 [doi]
- Verification games: making verification funWerner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic. 42-49 [doi]