Existential Label Flow Inference Via CFL Reachability

DOI10.1007/11823230_7zbMath1225.68075OpenAlexW1534545952MaRDI QIDQ3613380

No author found.

Publication date: 12 March 2009

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11823230_7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization ⋮ Formalizing Soundness of Contextual Effects ⋮ Region Analysis for Race Detection

This page was built for publication: Existential Label Flow Inference Via CFL Reachability