Interprocedural Analysis with Lazy Propagation

DOI10.1007/978-3-642-15769-1_20zbMath1306.68030OpenAlexW1544629082MaRDI QIDQ4930737

Peter Thiemann, Simon Holm Jensen, Anders Møller

Publication date: 1 October 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-15769-1_20

Mathematics Subject Classification ID

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

Related Items (2)

Be lazy and don't care: faster CTL model checking for recursive state machines ⋮ Typing Local Control and State Using Flow Analysis

Uses Software

• JavaScript

This page was built for publication: Interprocedural Analysis with Lazy Propagation