6960 search results - page 510 / 1392 » Continuity Analysis of Programs |
135
click to vote
SAS
2004
Springer
16 years 8 days ago
2004
Springer
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
177
click to vote
LCTRTS
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
188
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language feature...
162
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
177
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Periscope is a distributed automatic online performance analysis system for large scale parallel systems. It consists of a set of analysis agents distributed on the parallel machin...