Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Antoine Beugnard, Jean-Marc Jézéquel, Noël Plouzeau, and Damien Watkins. Making components contract aware. In IEEE Software, pages 38–45, june 1999.
2. Andrew Duncan and Urs Hölze. Adding contracts to Java with handshake. Technical Report TRCS98-32, The University of California at Santa Barbara, December 1998.
3. Robert Bruce Findler and Matthias Felleisen. Contract soundness for object-oriented languages. In Object-Oriented Programming, Systems, Languages, and Applications, 2001.
4. Robert Bruce Findler, Mario Latendresse, and Matthias Felleisen. Behavioral contracts and behavioral subtyping. In Foundations of Software Engineering, 2001.
5. Robert Bruce Findler, Mario Latendresse, and Matthias Felleisen. Object-oriented programming languages need well-founded contracts. Technical Report TR01-372, Rice University, 2001.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献