Program Analysis for Weak Memory Models

Download
Full text (PDF, 1.640Mb)
Thumbnail
Open access
Autor(in)
Dan, Andrei Marian
Datum
2018
Typ
    Doctoral Thesis
Rechte / Lizenz
In Copyright - Non-Commercial Use Permitted
Persistenter Link
https://doi.org/10.3929/ethz-b-000320069
Publikationsstatus
published
Externe Links
Printexemplar via ETH-Bibliothek suchen
Beteiligte
Referent: Vechev, Martin
Referent: Bouajjani, Ahmed
Referent: Müller, Peter
Referent: Yahav, Eran
Verlag
ETH Zurich
Organisationseinheit
03948 - Vechev, Martin / Vechev, Martin  
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics