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

Abstract

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

Topics

  • Presentations referencing similar topics