Sciweavers

17 search results - page 1 / 4
» aplas 2009
Sort
View
APLAS
2009
ACM
13 years 10 months ago
Weak updates and separation logic
Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai
APLAS
2009
ACM
13 years 10 months ago
Abstract Transformers for Thread Correlation Analysis
Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganes...
APLAS
2009
ACM
13 years 10 months ago
Bi-abductive Resource Invariant Synthesis
We describe an algorithm for synthesizing resource invariants that are used in the verification of concurrent programs. This synthesis employs bi-abductive inference to identify t...
Cristiano Calcagno, Dino Distefano, Viktor Vafeiad...
APLAS
2009
ACM
13 years 8 months ago
Parallel Reduction in Resource Lambda-Calculus
We study the resource calculus – the non-lazy version of Boudol’s λ-calculus with resources. In such a calculus arguments may be finitely available and mixed, giving rise to ...
Michele Pagani, Paolo Tranquilli
APLAS
2009
ACM
13 years 8 months ago
Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...
Hongfei Fu