4716 search results - page 193 / 944 » Iterative-free program analysis |
130
click to vote
GPCE
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
225
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
188
click to vote
SEKE
2001
Springer
15 years 11 months ago
2001
Springer
Source code analysis and inspection does not provide enough information to describe the structure of an objectoriented program completely because there are components and relation...
200
click to vote
APIN
1998
15 years 6 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
201
click to vote
SIAMJO
2011
15 years 26 days ago
2011
In this paper we define semidefinite packing programs and describe an algorithm to approximately solve these problems. Semidefinite packing programs arise in many applications s...