[ACM Press the 16th ACM SIGPLAN conference - Tampa Bay, FL, USA (2001.10.14-2001.10.18)] Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications - OOPSLA '01 - Contract Soundness for object-oriented languages
Findler, Robert Bruce, Felleisen, MatthiasYear:
2001
Language:
english
DOI:
10.1145/504282.504283
File:
PDF, 185 KB
english, 2001