Contract Soundness for Object-Oriented Languages (2001)

by Robert Bruce Findler , Matthias Felleisen
Venue:In OOPSLA ’01 Conference Proceedings, Object-Oriented Programming, Systems, Languages, and Applications
Citations:40 - 2 self