5235 search results - page 221 / 1047 » Analysis of Multithreaded Programs |
169
click to vote
APLAS
2010
ACM
15 years 6 months 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...
155
click to vote
AMAST
2004
Springer
16 years 1 days ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
139
click to vote
FLOPS
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents a backward sharing analysis for logic programs. The analysis computes pre-conditions for a query that guarantee a given post-condition is satisfied after the q...
152
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
159
Voted
SCAM
2007
IEEE
16 years 28 days ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...