A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination (2001)

by Patrick Cousot , Radhia Cousot
Citations:2 - 2 self