Specifying I/O using abstract nested hoare triples in separation logic.

Willem Penninckx, Amin Timany, Bart Jacobs

Browse the full ECOOP paper archive.