A program logic for dependence analysis

DOI10.1007/978-3-030-34968-4_5MaRDI QIDQ6536349zbMATH OpenFDO

Authors Richard Bubel, Reiner Hähnle, Asmae Heydari Tabar

Publication date 19 April 2024

zbMATH Keywords

static analysisprogram verificationdata dependence

Mathematics Subject Classification ID

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

Recommendations

• Precise interprocedural dependence analysis of parallel programs
• Automating Verification of Loops by Parallelization
• scientific article; zbMATH DE number 1923039
• Automatic Parallelization with Separation Logic
• Determination of dependencies in a knowledge-based parallelization tool

Cites work

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

Cited in

(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)