1760 search results - page 86 / 352 » Program Analysis Using Weighted Pushdown Systems |
108
click to vote
ESOP
1994
Springer
15 years 4 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...
101
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
107
Voted
HPCN
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...
APLAS
2010
ACM
15 years 23 days ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
114
Voted
PAMI
2011
14 years 3 months ago
2011
Abstract—In this paper, we define meta-recognition, a performance prediction method for recognition algorithms, and examine the theoretical basis for its post-recognition score ...