Claude Bolduc
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Verification of common interprocedural compiler optimizations using visibly pushdown Kleene algebra Algebraic Methodology and Software Technology | 2011-01-21 | Paper |
| Visibly pushdown Kleene algebra and its use in interprocedural analysis of (mutually) recursive programs Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
| Solving Linear Equations in *-continuous Action Lattices Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
| Relational Methods in Computer Science Lecture Notes in Computer Science | 2007-05-02 | Paper |
Research outcomes over time
This page was built for person: Claude Bolduc
