11397 search results - page 2006 / 2280 » A Relational Abstraction for Functions |
233
Voted
TPHOL
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
232
click to vote
CALCO
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
215
Voted
MEMBRANE
2009
Springer
16 years 2 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...
208
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Service availability is one of the most closely scrutinized metrics in offering network services. It is important to costeffectively provision a managed and differentia...
221
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...