A program logic for dependence analysis

DOI10.1007/978-3-030-34968-4_5zbMATH Open1540.68057MaRDI QIDQ6536349

Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar

Publication date: 19 April 2024

zbMATH Keywords

static analysisdata dependenceprogram verification

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Dataflow analysis of array and scalar references
• The program dependence graph and its use in optimization
• Symbolic execution and program testing
• An axiomatic basis for computer programming

Related Items (1)

Schematic program proofs with abstract execution. Theory and applications

This page was built for publication: A program logic for dependence analysis

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