Describing data flow analysis techniques with Kleene algebra

DOI10.1016/j.scico.2006.01.009zbMath1109.68026OpenAlexW2155938435WikidataQ114850298 ScholiaQ114850298MaRDI QIDQ870282

Therrezinha Fernandes, Jules Desharnais

Publication date: 12 March 2007

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

Full work available at URL: https://doi.org/10.1016/j.scico.2006.01.009

zbMATH Keywords

labelled transition systemsKleene algebra with tests`gen/kill' analysesdata flow graphsmatrices over Kleene algebrastatic intraprocedural data flow analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Related Items (1)

On the expressiveness of single-pass instruction sequences

This page was built for publication: Describing data flow analysis techniques with Kleene algebra