Mathematics of Program Construction

DOI10.1007/B98756MaRDI QIDQ5313103zbMATH OpenOpenAlexFDO

Authors Therrezinha Fernandes, Jules Desharnais

Publication date 26 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98756

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Describing data flow analysis techniques with Kleene algebra
• Relational Methods in Computer Science
• Visibly pushdown Kleene algebra and its use in interprocedural analysis of (mutually) recursive programs
• Program analysis and verification based on Kleene algebra in Isabelle/HOL
• Algebraic program analysis

Cited in

(2)

• Relational Methods in Computer Science
• Describing data flow analysis techniques with Kleene algebra

This page was built for publication: Mathematics of Program Construction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5313103)