Inference of Progressive Loop Invariants for Array Programs

Download
Full text (PDF, 810.7Kb)
Thumbnail
Open access
Author
Becker, Nils
Date
2020
Type
    Master Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000411123
Publication status
published
Contributors
Examiner: Dohrau, Jérôme
Examiner: Summers, Alexander J.
Examiner: Müller, Peter
Publisher
ETH Zurich
Organisational unit
03653 - Müller, Peter / Müller, Peter
More
Show all metadata
ETH Bibliography
yes
Altmetrics