%0 Conference Paper %1 findler01contract %A Findler, %A Felleisen, %B Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) %C Tampa Bay, Florida %D 2001 %I ACM Press %K semantics %T Contract Soundness for Object-Oriented Languages

@inproceedings{findler01contract, added-at = {2011-12-16T09:34:02.000+0100}, address = {Tampa Bay, Florida}, author = {Findler and Felleisen}, biburl = {https://www.bibsonomy.org/bibtex/2ba7b7d26bd0863a43146976eb8e0ce46/pbrada}, booktitle = {Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)}, groups = {public}, interhash = {f2053811eb7c200b5335f2c3e93b54a3}, intrahash = {ba7b7d26bd0863a43146976eb8e0ce46}, keywords = {semantics}, month = {October}, publisher = {ACM Press}, timestamp = {2011-12-16T09:34:02.000+0100}, title = {Contract Soundness for Object-Oriented Languages}, username = {pbrada}, year = 2001 }