Describing data flow analysis techniques with Kleene algebra
From MaRDI portal
Publication:870282
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
labelled transition systemsKleene algebra with tests`gen/kill' analysesdata flow graphsmatrices over Kleene algebrastatic intraprocedural data flow analysis
Related Items (1)
This page was built for publication: Describing data flow analysis techniques with Kleene algebra