-
21Published 2006Table of Contents: “… Analysis -- Interprocedural Symbolic Range Propagation for Optimizing Compilers -- Parallelization…”
Full Text via HEAL-Link
Electronic eBook -
22Published 2005Table of Contents: “… Translation Validator for Optimizing Compilers -- Cogent: Accurate Theorem Proving for Program Verification…”
Full Text via HEAL-Link
Electronic eBook -
23Published 2009Table of Contents: “… Ground Programs -- Optimizing Compilation and Computational Complexity of Constraint Handling Rules…”
Full Text via HEAL-Link
Electronic eBook -
24
-
25
-
26
-
27
-
28
-
29
-
30
-
31
-
32