Using program checking to ensure the correctness of compiler implementations (0)

by Sabine Glesner
Venue:Journal of Universal Computer Science