315 search results - page 24 / 63 » Reasoning about Assignments in Recursive Data Structures |
126
click to vote
ICTAC
2010
Springer
14 years 12 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 ...
116
click to vote
KDD
2007
ACM
16 years 2 months ago
2007
ACM
XML has become a popular method of data representation both on the web and in databases in recent years. One of the reasons for the popularity of XML has been its ability to encod...
113
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Population structure analysis is important to genetic association studies and evolutionary investigations. Parametric approaches, e.g. STRUCTURE and L-POP, usually ass...
110
click to vote
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Semantic Web data exhibits very skewed frequency distributions among terms. Efficient large-scale distributed reasoning methods should maintain load-balance in the face of such hi...