Cover Image
QR Code

Specification and Verification: The Spec# Experience.

The article presents information on Spec#, pronounced speck sharp, a computer programming research project funded by software firm Microsoft. It is designed to help programmers deal with difficulties related to object-oriented languages, using a type system which distinguishes references that can ne...

Full description

Published in:Communications of the ACM Vol. 54; no. 6; pp. 81 - 92
Main Authors: BARNETT, MIKE, FÄHNDRICH, MANUEL, LEINO, K. RUSTAN M., MÜLLER, PETER, SCHULTE, WOLFRAM, VENTER, HERMAN
Format: Article
Published: Association for Computing Machinery Jun2011
Subjects:
Computer programming
Software verification
Programming languages
Software engineering
Microsoft Corp.
Computer science
Online Access:View this record in EBSCOhost