A Aralex Aachen research explorer

May 01, 2000 conference-paper

Translation validation for an optimizing compiler

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

DOI: 10.1145/349299.349314 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 489

CF-GKAT: Efficient Validation of Control-Flow Transformations
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

3

citations

1 result

References 0