Skip to content
Snippets Groups Projects
Commit c93de3b1 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update 2021-07-02-toplas.md

parent f015ef9d
No related branches found
No related tags found
Pipeline #206331 canceled
Stage: build
Stage: deploy
Hide whitespace changes
Inline Side-by-side
_posts/2021-07-02-toplas.md
+ 1
− 1
View file @ c93de3b1
...@@ -5,4 +5,4 @@ Many congratulations to [Emanuele D’Osualdo](https://www.emanueledosualdo.com/ ...@@ -5,4 +5,4 @@ Many congratulations to [Emanuele D’Osualdo](https://www.emanueledosualdo.com/
The paper introduces TaDA Live, a separation logic for reasoning compositionally about the termination of blocking fine-grained concurrent programs. The logic contributes several innovations to obtain modular rely/guarantee style reasoning for liveness properties and to blend them with logical atomicity. The paper introduces TaDA Live, a separation logic for reasoning compositionally about the termination of blocking fine-grained concurrent programs. The logic contributes several innovations to obtain modular rely/guarantee style reasoning for liveness properties and to blend them with logical atomicity.
TOPLAS is the bimonthly ACM peer-reviewed scientific journal on programming languages. TOPLAS reports in depth on recent research advances in the areas of programming languages. Papers published must have content that is innovative, novel and advances the art of programming languages and systems. TOPLAS is the bimonthly ACM peer-reviewed scientific journal on programming languages. TOPLAS reports in depth on recent research advances in the areas of programming languages. Papers at TOPLAS must contain innovative and novel content that advances the state of the art of programming languages and systems, so a fine achievement. Congratulations to all.
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment