The Spec Programming System An Overview

The Spec Programming System An OverviewShort Description
The Spec# programming system is a new attempt at a more cost effec- … In this paper, we give an overview of the Spec# programming system, its design, …

Website: research.microsoft.com | Filesize: 104kb

Content
The Spec# Programming System: An Overview
Mike Barnett, K. Rustan M. Leino, and Wolfram Schulte
Microsoft Research, Redmond, WA, USA
{mbarnett,leino,schulte}@microsoft.com
Manuscript KRML 136, 12 October 2004. To appear in CASSIS 2004 proceedings.
Abstract. The Spec# programming system is a new attempt at a more cost effective
way to develop and maintain high-quality software. This paper describes the
goals and architecture of the Spec# programming system, consisting of the objectoriented
Spec# programming language, the Spec# compiler, and the Boogie static
program verifier. The language includes constructs for writing specifications that
capture programmer intentions about…

Get the file Download here

AddThis Social Bookmark Button
Related Books:
  • An Overview of the C Programming Language
  • Overview of C Programming
  • Overview of IA-32 assembly programming
  • 2006 Subaru Legacy GT Spec. B
  • TM Spec Comparison
  • An Overview of the Scala Programming Language
  • Simplified Guide to the Java 2 Platform, Enterprise Edition
  • AVR910 In-System Programming

    • Filed Under Others, Programming 

    Related Searches: , , , ,



    Comments

    Leave a Reply