Tackling OS Complexity with Declarative Techniques

Download
Abstract (PDF, 131.4Kb)
Fulltext (PDF, 966.3Kb)
Thumbnail
Open access
Author
Schüpbach, Adrian L.
Date
2012
Type
    Doctoral Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-009784524
Publication status
published
External links
Search print copy at ETH Library
Contributors
Examiner: Roscoe, Timothy
Examiner: Alonso, Gustavo
Publisher
ETH
Subject
PROZESSORARCHITEKTUREN + RECHNERARCHITEKTUREN (COMPUTERSYSTEME); DEKLARATIVE PROGRAMMIERUNG + LOGISCHE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SYSTEMPROGRAMMIERUNG (BETRIEBSSYSTEME); SYSTEMS PROGRAMMING (OPERATING SYSTEMS); PROCESSOR ARCHITECTURES + COMPUTER ARCHITECTURES (COMPUTER SYSTEMS); DECLARATIVE PROGRAMMING + LOGIC PROGRAMMING (PROGRAMMING METHODS)
Organisational unit
03757 - Roscoe, Timothy / Roscoe, Timothy  
02150 - Dep. Informatik / Dep. of Computer Science
More
Show all metadata
ETH Bibliography
yes
Altmetrics