ProgrammingLanguages2005 < Main < ELVIS

Main>SIGs > ProgrammingLanguages>ProgrammingLanguages2005 (25 Jul 2008, Main.craig)

16/12/2005 (Friday, 2pm) in CO232 (Memphis)
- Why we should not add readonly to Java (yet) by John Boyland. In Proceedings of the workshop on Formal Techniques for Java-Like Programs (FTfJP), 2005.
9/12/2005 (Friday, 2pm) in CO232 (Memphis)
- Verification of Object-Oriented Programs with Invariance by Mike Barnett, Robert DeLine, Manuel Faehndrich, K. Rustan M. Leino, and Wolfram Schulte.
2/12/2005 (Friday, 2pm) in CO232 (Memphis)
- Featherweight Generic Confinement by us.
30/09/2005 (Friday, 1pm) in CO239
- The Spec# programming system: An overview. by Mike Barnett, K. Rustan M. Leino, and Wolfram Schulte. About Spec#.
- Attendance:
  - AlexPotanin
  - DavidPearce

16/09/2005 (Friday, 3pm) in CO239
- An Overview of the Scala Programming Language by Martin Odersky, Philippe Altherr, Vincent Cremet, Burak Emir, Sebastian Maneth, Stephane Micheloud, Nikolay Mihaylov, Michel Schinz, Erik Stenman, and Matthias Zenger. About Scala.
- Attendance:
  - AlexPotanin
  - DavidPearce

2/09/2005 (Friday, 1pm) in CO239
- On Variance-Based Subtyping for Parametric Types by Atsushi Igarashi and Mirko Viroli
- Attendance:
  - AlexPotanin
  - DavidPearce

Print version | Backlinks

Main

Log In

Special Interest Groups
Agile
HCI
Prog. Languages

© 2009 Victoria University of Wellington, New Zealand, unless otherwise stated