Name
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. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1007/978-3-662-45231-8_3 | Lecture Notes in Computer Science |
Field | DocType | Volume |
Computer science,Concurrency,Static analysis,Modeling language,Multiversion concurrency control,Fault management,Theoretical computer science,Distributed concurrency control,Asynchronous method invocation,Fault model,Distributed computing | Conference | 8803 |
ISSN | Citations | PageRank |
0302-9743 | 2 | 0.40 |
References | Authors | |
15 | 7 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ivan Lanese | 1 | 733 | 53.86 |
| Michael Lienhardt | 2 | 75 | 8.24 |
| Mario Bravetti | 3 | 794 | 55.04 |
| Einar Broch Johnsen | 4 | 1071 | 69.56 |
| Rudolf Schlatte | 5 | 510 | 26.15 |
| Volker Stolz | 6 | 6 | 0.84 |
| Gianluigi Zavattaro | 7 | 1953 | 127.60 |