5235 search results - page 132 / 1047 » Analysis of Multithreaded Programs |
120
click to vote
IWMM
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
109
click to vote
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
ICSM
2006
IEEE
15 years 7 months ago
2006
IEEE
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...
122
click to vote
LOPSTR
2007
Springer
15 years 7 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
129
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...