[munich-lisp] Links: Modular Verification etc.

[Axel Rauschmayer]

- "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 at rauschma.de