A Semantic Framework for Designer Transactions.

Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking

Browse the full ESOP paper archive.