en English is Íslenska

Report Reykjavík University > Tölvunarfræðideild > Reykjavik University Technical Report Computer Science. RUTR-CS >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1946/7497

Title: 
  • An implementation and semantics for transactional memory introspection in Haskell
Published: 
  • October 2008
Abstract: 
  • Transactional Memory Introspection (TMI) is a novel reference monitor architecture that provides complete mediation, freedom from time-to-check-to-time-to-use bugs and improved failure handling for authorization, by building on the Software Transactional Memory architecture. In this paper we present a formal definition of TMI and the concrete implementation over the Haskell STM,

Citation: 
  • RUTR-CS08007
ISSN: 
  • 1670-5777
Accepted: 
  • Feb 1, 2011
URI: 
  • http://hdl.handle.net/1946/7497


Files in This Item:
Filename Size VisibilityDescriptionFormat 
RUTR-CS08007.pdf466.8 kBOpenHeildartextiPDFView/Open