3931 search results - page 21 / 787 » Separation logic and abstraction |
APLAS
2010
ACM
13 years 7 months ago
2010
ACM
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...
LMCS
2006
13 years 7 months ago
2006
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
APSEC
2008
IEEE
14 years 1 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
ICA
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This paper introduces the audio part of the 2010 communitybased Signal Separation Evaluation Campaign (SiSEC2010). Seven speech and music datasets were contributed, which...
FSTTCS
2004
Springer
14 years 24 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...