Abstract
This paper critically discusses the different choices that have to be made when defining a fault model for an object-oriented programming language. We consider in particular the ABS language, and analyze the interplay between the fault model and the main features of ABS, namely the cooperative concurrency model, based on asynchronous method invocations whose return results via futures, and its emphasis on static analysis based on invariants.
Cite
CITATION STYLE
Lanese, I., Lienhardt, M., Bravetti, M., Johnsen, E. B., Schlatte, R., Stolz, V., & Zavattaro, G. (2014). Fault model design space for cooperative concurrency. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8803, pp. 22–36). Springer Verlag. https://doi.org/10.1007/978-3-662-45231-8_3
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
