Google Research

An implementation and semantics for transactional memory introspection in Haskell

Arnar Birgisson
Úlfar Erlingsson
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, ACM, New York, NY, USA (2009), pp. 87-99
Download Google Scholar

Abstract

Research Areas

×