3573 search results - page 195 / 715 » Reasoning about Codata |
147
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
159
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
143
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
164
click to vote
FOSSACS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
138
click to vote
ICSE
2007
IEEE-ACM
16 years 20 days ago
2007
IEEE-ACM
Software and the computational behaviors it defines are increasingly important sources of both economic costs and benefits for companies, governments and individuals. Nevertheless...