Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs

DOI10.1007/978-3-642-04639-1_4zbMath1267.68139OpenAlexW1602007820MaRDI QIDQ3651507

Béchir Ktari, Claude Bolduc

Publication date: 11 December 2009

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04639-1_4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other algebras related to logic (03G25)

Related Items (2)

Visibly rational expressions ⋮ Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra

This page was built for publication: Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs