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...
| Publicado en: | Communications of the ACM Vol. 54; no. 6; pp. 81 - 92 |
|---|---|
| Autores principales: | , , , , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Jun2011
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=63231740&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 63231740 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Jun2011 vid: 54 iid: 6 pid: 68 pub: Association for Computing Machinery artinfo: ui: 63231740 10.1145/1953122.1953145 ppf: 81 ppct: 11 formats: tig: atl: Specification and Verification: The Spec# Experience. aug: au: BARNETT, MIKE FÄHNDRICH, MANUEL LEINO, K. RUSTAN M. MÜLLER, PETER SCHULTE, WOLFRAM VENTER, HERMAN affil: Principal research Software design engineer, RiSE group, Microsoft Research, Redmond, WA. Senior researcher, RiSE group, Microsoft Research, Redmond, WA. Principal researcher, RiSE group, Microsoft Research, Redmond, WA . Professor, Department of Computer Science, Swiss Federal Institute of Technology (ETH), Zürich, Switzerland. Research area manager, RiSE group, Microsoft Research, Redmond, WA. Research software design engineer, RiSE group, Microsoft Research, Redmond, WA. su: Computer programming Software verification Programming languages Software engineering Microsoft Corp. Computer science sug: subj: Computer programming Software verification Programming languages Software engineering Microsoft Corp. Computer science ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2011 holdings: @attributes: islocal: N |
|---|