The following pages link to Claude Bolduc (Q3067462):
Displayed 4 items.
- Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra (Q3067464) (← links)
- Solving Linear Equations in *-continuous Action Lattices (Q3498422) (← links)
- Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs (Q3651507) (← links)
- Relational Methods in Computer Science (Q5899307) (← links)