315 search results - page 48 / 63 » Reasoning about Assignments in Recursive Data Structures |
125
click to vote
PEPM
2011
ACM
14 years 2 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
103
click to vote
PPOPP
2012
ACM
13 years 7 months ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...
PODS
2005
ACM
15 years 12 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
EWMF
2003
Springer
15 years 5 months ago
2003
Springer
Item-based Collaborative Filtering (CF) algorithms have been designed to deal with the scalability problems associated with traditional user-based CF approaches without sacrificin...
115
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...