T.: Strengthening invariants for efficient computation (0)

by Y A Liu, S D Stoller, Teitelbaum
Venue:Science of Computer Programming