Claude Bolduc

From MaRDI portal
Person:3067462

Available identifiers

zbMath Open bolduc.claudeMaRDI QIDQ3067462

List of research outcomes





PublicationDate of PublicationType
Verification of common interprocedural compiler optimizations using visibly pushdown Kleene algebra2011-01-21Paper
Visibly pushdown Kleene algebra and its use in interprocedural analysis of (mutually) recursive programs2009-12-11Paper
Solving Linear Equations in *-continuous Action Lattices2008-05-15Paper
Relational Methods in Computer Science2007-05-02Paper

Research outcomes over time

This page was built for person: Claude Bolduc

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3067462&oldid=7184751"
Powered by MediaWiki