578 search results - page 84 / 116 » Analysis of Programs with Exception-Handling Constructs |
SAC
2010
ACM
14 years 21 days ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
POPL
1990
ACM
13 years 11 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
STOC
2003
ACM
14 years 7 months ago
2003
ACM
In dynamic stabbing, we operate on a dynamic set of intervals. A stabbing query asks for an interval containing a given point. This basic problem encodes problems such as method l...
SIGSOFT
2006
ACM
14 years 1 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
CASCON
2000
13 years 9 months ago
2000
Information about a software system's execution can help a developer with many tasks, including software testing, performance tuning, and program understanding. In almost all...