A Practical Escape and Effect Analysis for Building Lightweight Method Summaries
No abstract available.
DOI 10.1007/978-3-540-71229-9_12
Related papers
- MEA2: A Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang OOPSLA 2024
- Escape Analysis for Java OOPSLA 1999
- Escape analysis for JavaTM: Theory and practice TOPLAS 2003
- Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back OOPSLA 2022
- Stack allocation and synchronization optimizations for Java using escape analysis TOPLAS 2003
- Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic SAS 2017
- Jolt: lightweight dynamic analysis and removal of object churn OOPSLA 2008
- Freedom before commitment: a lightweight type system for object initialisation OOPSLA 2011