Encoding scala programs for the Boogie verifier

Metadata Label Value
Author(s): Wüstholz, Valentin
Publisher: ETH, Eidgenössische Technische Hochschule Zürich, Chair of Programming Methodology, Department of Computer Science
Citation:

Wüstholz, Valentin. Encoding scala programs for the Boogie verifier. ETH, Eidgenössische Technische Hochschule Zürich, Chair of Programming Methodology, Department of Computer Science (2009). http://dx.doi.org/10.3929/ethz-a-005939747

Document Type: Master and Bachelor Theses  
Documents: Text (771.28KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Encoding scala programs for the Boogie verifier
Author(s) Wüstholz, Valentin
Publication Place Zurich
Publisher ETH, Eidgenössische Technische Hochschule Zürich, Chair of Programming Methodology, Department of Computer Science
Publication Date 2009
Notes Master's Project Report, Eidgenössische Technische Hochschule Zürich, 2009
Language English
DOI http://dx.doi.org/10.3929/ethz-a-005939747
Subject(s) Software
Keyword(s) SPECIAL PROGRAMMING LANGUAGES
CORRECTNESS
THEORY OF PROGRAMMING
OBJECT-ORIENTED PROGRAMMING
PROGRAMMING METHODS
Organisational Unit Institute of Information Systems
Online Publication Date 2009
Description File Name MIME Type Size
Text   eth-505-01.pdf application/pdf 771.28KB
Abstract Views and Downloads
Views 71  abstracts
Downloads 270  downloads

Abstract Views and Downloads by Country
Views 23  abstracts
Downloads 96  downloads
United States Views abstracts
Downloads 44  downloads
Germany Views abstracts
Downloads 27  downloads
Switzerland Views 21  abstracts
Downloads 24  downloads
China Views 11  abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Denmark Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Bulgaria Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
Estonia Views abstracts
Downloads downloads
Guinea Views abstracts
Downloads downloads
Hungary Views abstracts
Downloads downloads
Israel Views abstracts
Downloads downloads
Korea, Republic of Views abstracts
Downloads downloads
Palestinian Territory Views abstracts
Downloads downloads
Portugal Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Vietnam Views abstracts
Downloads downloads


E-Collection record created: Tue, 22 Dec 2009, 05:34:37 CET