1768 search results - page 14 / 354 » A Logic for Algebraic Effects |
CAGD
2010
13 years 5 months ago
2010
APLAS
2009
ACM
14 years 2 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
ENTCS
2006
13 years 8 months ago
2006
This paper contributes towards establishing the category QCB, of topological quotients of countably based spaces, and its subcategory TP, of topological predomains, as a flexible ...
DEON
2010
Springer
13 years 8 months ago
2010
Springer
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
AMAST
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...