Generating data flow analysis algorithms from modal specifications
type: Item
instance of: scholarly article
title: Generating data flow analysis algorithms from modal specifications
zbMATH Open document ID: 0815.68070
DOI: 10.1016/0167-6423(93)90003-8
author: Bernhard Steffen
published in: Science of Computer Programming
publication date: 1994-07-21T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 609585
zbMATH Keywords: bit-vector algorithms
zbMATH Keywords: automatic identification of program points
zbMATH Keywords: data flow analysis
MaRDI profile type: Publication
full work available at URL: 0167-6423(93)90003-8
OpenAlex ID: W1964193719
Recommended article: Data flow analysis as model checking
Recommended article: Describing data flow analysis techniques with Kleene algebra
Recommended article: Decidability of the analysis problem for dataflow models of programs
Recommended article: Programming Languages and Systems
Recommended article: Extracting a data flow analyser in constructive logic
Recommended article: Automatic synthesis of data-flow analyzers
Recommended article: Combining Model Checking and Data-Flow Analysis
Recommended article: Generating model checkers from algebraic specifications
Recommended article: Efficient dataflow analysis of logic programs
description: scientific article; zbMATH DE number 609585