relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1741/
title: An Improved Type System for Counting Logs of Transactional Multi-threaded Programs
creator: Vu, Xuan Tung
creator: Hoang, Truong
subject: Information Technology (IT)
description: This paper presents an improved type system to estimate an  upper bound for the resource consumption of programs with nested and multi-threaded transactions. This work improves our previous type system to which in comparison the new one is more precise. In addition, the soundness of the system is sketched by the help of rewriting techniques.
date: 2015
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Vu, Xuan Tung and Hoang, Truong  (2015) An Improved Type System for Counting Logs of Transactional Multi-threaded Programs.  In: PAS: the 4th International Seminar on Program Verification, Automated Debugging and Symbolic Computation, 21-23 October 2015, Beijing, China.