Local reasoning about storable locks

Josh Berdine. Local reasoning about storable locks. In Michael Leuschel, Andreas Podelski, editors, Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland. pages 153, ACM, 2007. [doi]


Josh Berdine

This author has not been identified. Look up 'Josh Berdine' in Google