The Parallel Assignment Problem Redefined
IEEE Transactions on Software Engineering
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
Journal of Automated Reasoning
SSA Elimination after Register Allocation
CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae
| Hi-index | 0.00 |