492 search results - page 46 / 99 » XML graphs in program analysis |
144
click to vote
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
132
click to vote
ASP
2005
Springer
15 years 7 months ago
2005
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
126
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
107
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
136
click to vote
IWPC
2009
IEEE
15 years 8 months ago
2009
IEEE
Impact analysis is a specialized process of program comprehension that investigates the nature and extent of a planned software change. Traditionally, impact analysis inspects dep...