1760 search results - page 55 / 352 » Program Analysis Using Weighted Pushdown Systems |
101
Voted
LCTRTS
1999
Springer
15 years 4 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
108
click to vote
PLDI
1999
ACM
15 years 4 months ago
1999
ACM
This paper presents a novel interprocedural, ow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers...
96
Voted
CORR
2000
Springer
15 years 7 days ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
109
click to vote
IWMM
2009
Springer
15 years 7 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...
117
Voted
FM
2008
Springer
15 years 1 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...