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...

Descripción completa

Detalles Bibliográficos
Publicado en:	Communications of the ACM Vol. 54; no. 6; pp. 81 - 92
Autores principales:	BARNETT, MIKE, FÄHNDRICH, MANUEL, LEINO, K. RUSTAN M., MÜLLER, PETER, SCHULTE, WOLFRAM, VENTER, HERMAN
Formato:	Artículo
Publicado:	Association for Computing Machinery Jun2011
Materias:	Computer programming Software verification Programming languages Software engineering Microsoft Corp. Computer science
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	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 never be null. The benefits which are made possible by the leveraging of a shared infrastructure are discussed in terms of online program verification systems and automatic theorem provers. An open source release of the Spec# project is described.