1911 search results - page 70 / 383 » Program analysis for code duplication in logic programs |
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...
133
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
104
click to vote
FMCO
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
113
click to vote
SEFM
2005
IEEE
15 years 7 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
115
click to vote
WCFLP
2005
ACM
15 years 7 months ago
2005
ACM
Programmers need mechanisms to store application specific data that persists multiple program runs. To accomplish this task, they usually have to deal with storage specific code...