EnglishisÍslenska

Member institutions

Search in


ReportReykjaví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,

Appeared in

RUTR-CS08007

ISSN

1670-5777

Issued Date
01/02/2011


Artifacts
Name[Sortable]Size[Sortable]Visibility[Sortable]Description[Sortable]Format
RUTR-CS08007.pdf478KBOpen Complete Text PDF View/Open