Béchir Ktari

From MaRDI portal
Person:3067463

Available identifiers

zbMath Open ktari.bechirMaRDI QIDQ3067463

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

Research outcomes over time

This page was built for person: Béchir Ktari

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