Level Sets Framework Refactoring Arnaud Gelas, Kishore Mosaliganti, Nicolas Rannou, Lydie Souhait, Sean Megason Boston 02/03/2011.
D ATA RACE DETECTION : PRELIMINARIES AND SURVEY Based on Nels E. Beckman paper : A Survey of Methods for Preventing Race Conditions Dolev Felman 1.
Ownership Types for Object Encapsulation Barbara Liskov Chandrasekhar Boyapati Liuba Shrira Laboratory for Computer Science Massachusetts Institute of.
Level Sets Framework Refactoring