scientific article; zbMATH DE number 1956463

zbMath1032.68905MaRDI QIDQ4417791

Laurie Hendren, Ondřej Lhoták

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2622/26220153.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Related Items (7)

TFA: an efficient and precise virtual method call resolution for Java ⋮ Hash consed points-to sets ⋮ Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability ⋮ Deriving escape analysis by abstract interpretation ⋮ Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization ⋮ Sawja: Static Analysis Workshop for Java ⋮ The Complexity of Andersen’s Analysis in Practice

This page was built for publication: