Generating data flow analysis algorithms from modal specifications

DOI10.1016/0167-6423(93)90003-8zbMath0815.68070OpenAlexW1964193719MaRDI QIDQ1330457

Bernhard Steffen

Publication date: 21 July 1994

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(93)90003-8

zbMATH Keywords

data flow analysisautomatic identification of program pointsbit-vector algorithms

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Unifying models ⋮ Combining Model Checking and Data-Flow Analysis ⋮ Generative program analysis and beyond: the power of domain-specific languages (invited paper) ⋮ Specification languages in algebraic compilers ⋮ Distributed Verification of Multi-threaded C++ Programs ⋮ Extracting Program Logics From Abstract Interpretations Defined by Logical Relations ⋮ Property-oriented expansion

This page was built for publication: Generating data flow analysis algorithms from modal specifications