Interprocedural analysis with lazy propagation

DOI10.1007/978-3-642-15769-1_20MaRDI QIDQ4930737zbMATH OpenOpenAlexFDO

Authors Simon Holm Jensen, Anders Møller, Peter J. Thiemann

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)

Recommendations

• Interprocedural type propagation for object-oriented languages
• Precise interprocedural dataflow analysis with applications to constant propagation
• Precise interprocedural dataflow analysis with applications to constant propagation
• Type-based flow analysis and context-free language reachability
• Interprocedural analysis and optimization

Cited in

(7)

• Interprocedural type propagation for object-oriented languages
• Demand-driven interprocedural analysis for map-based abstract domains
• On the sequential nature of interprocedural program-analysis problems
• Typing local control and state using flow analysis
• Type-based flow analysis and context-free language reachability
• Interprocedural analysis and optimization
• Be lazy and don't care: faster CTL model checking for recursive state machines

Describes a project that uses

Uses Software

• JavaScript

This page was built for publication: Interprocedural analysis with lazy propagation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4930737)