4716 search results - page 534 / 944 » Iterative-free program analysis |
180
click to vote
SIGSOFT
2004
ACM
16 years 7 days ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
183
click to vote
ICSE
1999
IEEE-ACM
1999
IEEE-ACM
CHIME: Customizable Hyperlink Insertion and Maintenance Engine for Software Engineering Environments
15 years 11 months ago
Source code browsing is an important part of program comprehension. Browsers expose semantic and syntactic relationships (such as between object references and definitions) in GU...
145
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Previously we presented atomic sets, memory locations that share some consistency property, and units of work, code fragments that preserve consistency of atomic sets on which the...
262
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
The storage manager of a general-purpose database system can retain consistent disk page level snapshots and run application programs "back-in-time" against long-lived p...
177
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...