768 search results - page 37 / 154 » Symbolic and Abstract Interpretation for C C Programs |
ISSTA
2012
ACM
11 years 10 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
PEPM
2007
ACM
14 years 2 months ago
2007
ACM
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
ASC
2000
13 years 9 months ago
2000
The improved performance of computer-based text analysis represents a major step forward for knowledge management. Reliable text interpretation allows focus to be placed upon the ...
POPL
1992
ACM
14 years 5 min ago
1992
ACM
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- In this paper, a discrete