Inproceedings,

Contract Soundness for Object-Oriented Languages.

, and .
OOPSLA, page 1-15. ACM, (2001)SIGPLAN Notices 36(11).

Meta data

Tags

Users

  • @a_olympia
  • @dblp

Comments and Reviews