Blaming the Client: On Data Refinement in the Presence of Pointers

by Ivana Filipović , Peter O'Hearn , Noah Torp-Smith , Hongseok Yang
Venue:TO APPEAR IN FORMAL ASPECTS OF COMPUTING
Citations:4 - 0 self