1959 search results - page 58 / 392 » Concerned About Separation |
199
click to vote
POPL
2007
ACM
16 years 5 days ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
118
click to vote
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
123
click to vote
FMCO
2007
Springer
15 years 3 months ago
2007
Springer
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
102
click to vote
ICTAC
2010
Springer
14 years 9 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
105
click to vote
WWW
2007
ACM
16 years 16 days ago
2007
ACM
Determining the user intent of Web searches is a difficult problem due to the sparse data available concerning the searcher. In this paper, we examine a method to determine the us...