634 search results - page 14 / 127 » Separability in the Ambient Logic |
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
104
click to vote
ENTCS
2006
14 years 9 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
102
click to vote
ECOOP
2010
Springer
15 years 28 days ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
108
click to vote
CSL
2006
Springer
15 years 1 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
70
Voted
FSS
2006
14 years 9 months ago
2006
Convergence of blind delayed source separation algorithms, which use constant learning rates, is known to be slow. We propose a fuzzy logic based approach to adaptively select the...