2947 search results - page 191 / 590 » Analyzing Program Analyses |
168
click to vote
HPCC
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. View-Oriented Parallel Programming(VOPP) is a novel programming style based on Distributed Shared Memory, which is friendly and easy for programmers to use. In this paper...
147
click to vote
LPNMR
2007
Springer
16 years 15 days ago
2007
Springer
Answer-set programming (ASP) has become an important paradigm for declarative problem solving in recent years. However, to further improve the usability of answer-set programs, the...
166
Voted
SAS
2007
Springer
16 years 15 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
160
click to vote
AICT
2006
IEEE
16 years 13 days ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...
183
Voted
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...