Static verification for code contracts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6337 LNCS, Issue , 2010, Pages 2-5

  Fähndrich, Manuel ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTRACT CHECKING; INTERMEDIATE LANGUAGES; MICROSOFT RESEARCHES; NET PLATFORM; OBJECT ORIENTED; RUNTIMES; STATIC VERIFICATION;

OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS;

STATIC ANALYSIS;

EID: 78149266252     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15769-1_2     Document Type: Conference Paper

References (5)

1. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL 1977, ACM Press, New York (January 1977)
2. ECMA: Standard ECMA-355, Common Language Infrastructure (June 2006)
3. Fähndrich, M., Barnett, M., Logozzo, F.: Code Contracts (March 2009), http://research.microsoft.com/contracts
4. Fähndrich, M., Barnett, M., Logozzo, F.: Embedded contract languages. In: SAC 2010: Proceedings of the 2010 ACM Symposium on Applied Computing, pp. 2103-2110. ACM Press, New York (2010)
5. Laviron, V., Logozzo, F.: Subpolyhedra: A (more) scalable approach to infer linear inequalities. In: Jones, N.D., Müller-Olm, M. (eds.) VMCAI 2009. LNCS, vol. 5403, pp. 229-244. Springer, Heidelberg (2009)