Reasoning About Method Calls in Interface Specifications
暂无分享,去创建一个
[1] K. Rustan M. Leino,et al. A Verification Methodology for Model Fields , 2006, ESOP.
[2] Greg Nelson,et al. Extended static checking for Java , 2002, PLDI '02.
[3] K. Rustan M. Leino,et al. Data abstraction and information hiding , 2002, TOPL.
[4] Gary T. Leavens,et al. Forcing behavioral subtyping through specification inheritance , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.
[5] Fred B. Schneider,et al. Avoiding the Undefined by Underspecification , 1995, Computer Science Today.
[6] Natarajan Shankar,et al. Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS , 1995, IEEE Trans. Software Eng..
[7] K. R Leino,et al. Towards Reliable Modular Programs , 1995 .
[8] Arnd Poetzsch-Heffter,et al. Logical foundations for typed object-oriented languages , 1998, PROCOMET.
[9] Bertrand Meyer,et al. Eiffel: The Language , 1991 .
[10] Martin C. Rinard,et al. Purity and Side Effect Analysis for Java Programs , 2005, VMCAI.
[11] Arnd Poetzsch-Heffter,et al. Specification and verification of object-oriented programs , 1997 .
[12] C. A. R. Hoare,et al. Proof of correctness of data representation , 1975, Language Hierarchies and Interfaces.
[13] Peter Müller,et al. Universes: Lightweight Ownership for JML , 2005, J. Object Technol..
[14] Gary T. Leavens. Modular specification and verification of object-oriented programs , 1991, IEEE Software.
[15] David R. Cok,et al. Reasoning with specifications containing method calls and model fields , 2005, J. Object Technol..
[16] Claude Marché,et al. The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML , 2004, J. Log. Algebraic Methods Program..
[17] K. Rustan M. Leino,et al. The Spec# Programming System: An Overview , 2004, CASSIS.
[18] Peter Müller,et al. Modular Specification and Verification of Object-Oriented Programs , 2002, Lecture Notes in Computer Science.
[19] Erik Poll,et al. Verifying JML specifications with model fields , 2003 .
[20] David A. Naumann,et al. Observational purity and encapsulation , 2005, Theor. Comput. Sci..
[21] Stephen H. Edwards,et al. Model variables: cleanly supporting abstraction in design by contract , 2005, Softw. Pract. Exp..
[22] Albert L. Baker,et al. Preliminary design of JML: a behavioral interface specification language for java , 2006, SOEN.