13 Sep
2005
13 Sep
'05
8:05 a.m.
- "Modular verification of collaboration-based software designs", Kathi Fisler, Shriram Krishnamurthi http://portal.acm.org/citation.cfm?id=503231
- MultiJava: Multiple dispatch for Java from Gary Leavens et al. If you want to look at multiple dispatch from a slightly different angle.
- A partial (I'm only a co-author) plug for my own work: it describes nicely the various implications of layer-based programming. "Scaling Step-Wise Refinement", Don Batory, Jack Sarvela, Axel Rauschmayer http://www.pst.ifi.lmu.de/~rauschma/publications.html#ahead2
Greetings,
Axel
-- Axel Rauschmayer http://rauschma.de axel@rauschma.de