Enforcing Trace Properties by Program Transformation (2000)

View PDF

Download Links

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