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
P
rint version
|
B
acklinks
Main
Log In
Content
Home
News
People
Research
Publications
Conferences
Achievements
Courses
Special Interest Groups
Agile
HCI
Prog. Languages
Elvis Internal
Admin
Resources
JoiningElvis
ElvisMeetings
Events
Subversion
ViewCVS
Twiki
Create New Topic
Index
Search
Changes
Notifications
RSS Feed
Statistics
Preferences
© 2009 Victoria University of Wellington, New Zealand, unless otherwise stated