578 search results - page 8 / 116 » Analysis of Programs with Exception-Handling Constructs |
112
Voted
ECOOP
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. Since call graphs are an essential starting point for all interprocedural analyses, many tools and frameworks have been developed to generate the call graph of a given pr...
199
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...
118
click to vote
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
106
click to vote
ICFP
2007
ACM
16 years 10 days ago
2007
ACM
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...
96
Voted
FPCA
1995
15 years 4 months ago
1995
This paper discusses the derivation of functional programs for grammar analysis problems, such as the Empty problem and the Reachable problem. Grammar analysis problems can be div...