Science of Computer Programming, August

A transactional object calculus

S. Jagannathan, J. Vitek, A. Welc, A. Hosking

Read Research Paper