Efficient data race and deadlock prevention in concurrent object-oriented programs


The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correctness and liveness properties. In particular, the set of correctness rules that guarantee the absence of data races will be refined and formalized; an augmented type system will be… (More)
DOI: 10.1145/1028664.1028695


  • Presentations referencing similar topics