Increasing the Scope and Resolution of Interprocedural Static Single Assignment
Abstract elided by the publisher.
Related papers
- Escape analysis for JavaTM: Theory and practice TOPLAS 2003
- Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers ECOOP 2021
- Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications OOPSLA 2020
- Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars SLE 2025
- Single Assignment Compiler, Single Assignment Architecture: Future Gated Single Assignment Form*; Static Single Assignment with Congruence Classes CGO 2014
- Simple Generation of Static Single-Assignment Form CC 2000
- Incremental Computation of Static Single Assignment Form CC 1996
- Type-checking multi-parameter type classes JFP 2002