Interprocedural Exception Analysis for C++
Abstract elided by the publisher.
Related papers
- Optimistic stack allocation for java-like languages ISMM 2006
- Interprocedural Control Flow Analysis ESOP 1999
- Solving Demand Versions of Interprocedural Analysis Problems CC 1994
- Interprocedural Shape Analysis for Recursive Programs CC 2001
- Computing Procedure Summaries for Interprocedural Analysis ESOP 2007
- Interprocedural dependence analysis and parallelization PLDI 1986
- Interprocedural Analysis with Lazy Propagation SAS 2010
- Enforcing Termination of Interprocedural Analysis SAS 2016