Name
Abstract | ||
|---|---|---|
The quest for modular concurrency reasoning has led to re- cent proposals that extend program assertions to include not just knowl- edge about the state, but rights to access the state. We argue that these rights are really just sugar for knowledge that certain updates preserve certain invariants. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1007/978-3-642-11486-1_4 | Ershov Memorial Conference |
Keywords | Field | DocType |
program assertion,certain updates,certain invariants,modular concurrency reasoning,recent proposal | Programming language,Computer science,Concurrency,Program counter,Program logic,Invariant (mathematics),Artificial intelligence,Modular design,Atomic actions,Modularity | Conference |
Volume | ISSN | ISBN |
5947 | 0302-9743 | 3-642-11485-7 |
Citations | PageRank | References |
60 | 1.98 | 6 |
Authors | ||
21 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ernie Cohen | 1 | 661 | 33.40 |
| Eyad Alkassar | 2 | 266 | 22.49 |
| Vladimir Boyarinov | 3 | 60 | 1.98 |
| Markus Dahlweid | 4 | 370 | 13.01 |
| Ulan Degenbaev | 5 | 67 | 3.76 |
| Mark A. Hillebrand | 6 | 200 | 15.17 |
| Bruno Langenstein | 7 | 112 | 8.98 |
| Dirk Leinenbach | 8 | 534 | 27.36 |
| Michal Moskal | 9 | 278 | 18.93 |
| Steven Obua | 10 | 177 | 12.95 |
| Wolfgang J. Paul | 11 | 947 | 313.21 |
| Hristo Pentchev | 12 | 63 | 2.36 |
| Elena Petrova | 13 | 144 | 7.65 |
| Thomas Santen | 14 | 588 | 26.33 |
| Norbert Schirmer | 15 | 149 | 15.99 |
| Sabine Schmaltz | 16 | 80 | 3.63 |
| Wolfram Schulte | 17 | 2342 | 153.40 |
| Andrey Shadrin | 18 | 72 | 3.35 |
| Stephan Tobies | 19 | 1599 | 158.86 |
| Alexandra Tsyban | 20 | 116 | 6.09 |
| Sergey Tverdyshev | 21 | 123 | 9.27 |