1002 search results - page 67 / 201 » Reasoning about Object Structures Using Ownership |
ECSQARU
2009
Springer
14 years 4 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
ESA
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The 3D visibility skeleton is a data structure used to encode global visibility information about a set of objects. Previous theoretical results have shown that for k con...
ENTCS
2008
13 years 10 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
EDBT
2010
ACM
14 years 2 months ago
2010
ACM
With more and more social network data being released, protecting the sensitive information within social networks from leakage has become an important concern of publishers. Adve...
ENTCS
1998
13 years 9 months ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...