6960 search results - page 364 / 1392 » Continuity Analysis of Programs |
137
click to vote
ESOP
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
123
click to vote
POPL
1994
ACM
15 years 8 months ago
1994
ACM
We present a new incremental algorithm for the problem of maintaining the dominator tree of a reducible flowgraph as the flowgraph undergoes changes such as the insertion and dele...
157
click to vote
IWMM
2010
Springer
15 years 6 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
116
click to vote
LLC
2010
14 years 11 months ago
2010
The interpretation of conditionals in the scope of a quantifier (as in `No student will succeed if he goofs off') presents a troubling puzzle. Either we are forced to abandon...
123
click to vote
STOC
2007
ACM
16 years 5 months ago
2007
ACM
Semidefinite programs (SDP) have been used in many recent approximation algorithms. We develop a general primal-dual approach to solve SDPs using a generalization of the well-know...