3931 search results - page 76 / 787 » Separation logic and abstraction |
ENTCS
2007
14 years 9 months ago
2007
We present local Hoare reasoning about data update, using Context Logic for analysing structured data. We apply our reasoning to tree update, heap update which is analogous to loc...
DAGSTUHL
2004
14 years 11 months ago
2004
Abstract. When exploring online resources, users often make many separate retrievals
115
click to vote
LANMR
2007
14 years 11 months ago
2007
Abstract. We present GLukG, a paraconsistent logic recently introduced. We discuss our motivation as well as interesting properties of this logic. We introduce a non-monotonic sema...
TOCL
2008
14 years 9 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
DAGSTUHL
2007
14 years 11 months ago
2007
Abstract. In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible