Portal de Periódicos da CAPES

Static Verification for Code Contracts

2010; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-15769-1_2

1611-3349

Manuel Fähndrich,

Security and Verification in Computing

The Code Contracts project [3] at Microsoft Research enables programmers on the .NET platform to author specifications in existing languages such as C# and VisualBasic. To take advantage of these specifications, we provide tools for documentation generation, runtime contract checking, and static contract verification. This talk details the overall approach of the static contract checker and examines where and how we trade-off soundness in order to obtain a practical tool that works on a full-fledged object-oriented intermediate language such as the .NET Common Intermediate Language.