A comparative study of programmer-written and automatically inferred contracts

Metadata Label	Value
Author(s):	Polikarpova, Nadezhda, Ciupa, Ilinca, Meyer, Bertrand
Publisher:	Eidgenössische Technische Hochschule Zürich, Department of Computer Science
Citation:	Polikarpova, Nadezhda, Ciupa, Ilinca and Meyer, Bertrand. A comparative study of programmer-written and automatically inferred contracts. Eidgenössische Technische Hochschule Zürich, Department of Computer Science. http://dx.doi.org/10.3929/ethz-a-006824877
Document Type:	Reports
Documents:	Text (1.02MB)

Detailed Information

Metadata	Description
Title	A comparative study of programmer-written and automatically inferred contracts
Author(s)	Polikarpova, Nadezhda Ciupa, Ilinca Meyer, Bertrand
Publication Place	Zürich
Publisher	Eidgenössische Technische Hochschule Zürich, Department of Computer Science
Series	[Technical report / ETH Zürich, Department of Computer Science] [608]
DOI	http://dx.doi.org/10.3929/ethz-a-006824877
Subject(s)	Computer Science, General
Organisational Unit	Department of Computer Science
Online Publication Date	2012

Description	File Name	MIME Type	Size
Text	eth-4998-01.pdf	application/pdf	1.02MB

Description	URL
NEBIS Link	http://opac.nebis.ch/F/?local_base=NEBIS&func=find-b&find_code=SYS&request=006824877

Abstract Views and Downloads
Views	15
Downloads	12

Abstract Views and Downloads by Country
	Views	5
	Downloads	7
Germany	Views	1
Germany	Downloads	2
India	Views	0
India	Downloads	1
Singapore	Views	0
Singapore	Downloads	1
Switzerland	Views	4
Switzerland	Downloads	1
France	Views	2
France	Downloads	0
Australia	Views	1
Australia	Downloads	0
Ukraine	Views	1
Ukraine	Downloads	0
United States	Views	1
United States	Downloads	0