Static Analysis of Mega-Programs
Abstract elided by the publisher.
Related papers
- Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization ECOOP 2018
- Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract) ISMM 1995
- Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations SAS 2003
- Static Analysis of Digital Filters ESOP 2004
- Modular Static Program Analysis CC 2002
- Static Analysis and Software Assurance SAS 2001
- Algorithmic Game Semantics and Static Analysis SAS 2005
- Unleashing the Power of Static Analysis SAS 2006