Towards Software Transactional Memory for Real-World Programs

This report describes the implementation of a sophisticated STM system using recently developed techniques as well as novel innovations for the logic programming language Mercury, building on an earlier and simpler STM implementation.