1911 search results - page 206 / 383 » Program analysis for code duplication in logic programs |
148
click to vote
IISWC
2009
IEEE
16 years 24 days ago
2009
IEEE
—Communication traces are integral to performance modeling and analysis of parallel programs. However, execution on a large number of nodes results in a large trace volume that i...
165
Voted
WWW
2008
ACM
16 years 6 months ago
2008
ACM
bstractions for Secure Server-Side Scripting Dachuan Yu Ajay Chander Hiroshi Inamura Igor Serikov DoCoMo Communications Laboratories USA 3240 Hillview Avenue Palo Alto, CA 94304 {y...
290
Voted
AADEBUG
2005
Springer
15 years 11 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
143
Voted
DOCENG
2009
ACM
16 years 20 days ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
132
click to vote
FOSSACS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...