eprintid: 1741
rev_number: 8
eprint_status: archive
userid: 11
dir: disk0/00/00/17/41
datestamp: 2016-06-08 06:07:34
lastmod: 2016-06-22 15:01:53
status_changed: 2016-06-08 06:07:34
type: conference_item
metadata_visibility: show
creators_name: Vu, Xuan Tung
creators_name: Hoang, Truong
title: An Improved Type System for Counting Logs of Transactional Multi-threaded Programs
ispublished: pub
subjects: IT
divisions: fac_fit
abstract: 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
date_type: published
full_text_status: none
pres_type: paper
event_title: PAS: the 4th International Seminar on Program Verification, Automated Debugging and Symbolic Computation
event_location: Beijing, China
event_dates: 21-23 October 2015
event_type: workshop
refereed: TRUE
citation:   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.