Encoding scala programs for the Boogie verifier

Download
Text (PDF, 771.2Kb)
Thumbnail
Open access
Author
Wüstholz, Valentin
Date
2009
Type
    Master Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-005939747
Publication status
published
Publisher
ETH, Eidgenössische Technische Hochschule Zürich, Chair of Programming Methodology, Department of Computer Science
Subject
KORREKTHEIT (THEORIE DER PROGRAMMIERUNG); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SPEZIELLE PROGRAMMIERSPRACHEN; CORRECTNESS (THEORY OF PROGRAMMING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); SPECIAL PROGRAMMING LANGUAGES
Organisational unit
02642 - Institut für Informationssysteme (ehem.) / Institute of Information Systems (form.)
Notes
Master's Project Report, Eidgenössische Technische Hochschule Zürich, 2009.
More
Show all metadata
ETH Bibliography
yes
Altmetrics