Enforcing Trace Properties by Program Transformation (2000)

Cached

Download Links

by Thomas Colcombet , Pascal Fradet
Venue:IN TWENTY-SEVENTH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:76 - 8 self