3221 search results - page 205 / 645 » Termination of Linear Programs |
168
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challeng...
143
click to vote
FM
2009
Springer
16 years 29 days ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
159
click to vote
PASTE
2004
ACM
15 years 11 months ago
2004
ACM
We present an improved slicing algorithm for Java. The best algorithm known so far, first presented in [11], is not always precise if nested objects are used as actual parameters...
163
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
146
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...