TY  - CONF
ID  - SisLab1741
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1741/
A1  - Vu, Xuan Tung
A1  - Hoang, Truong
Y1  - 2015///
N2  - 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.
TI  - An Improved Type System for Counting Logs of Transactional Multi-threaded Programs
M2  - Beijing, China
AV  - none
T2  - PAS: the 4th International Seminar on Program Verification, Automated Debugging and Symbolic Computation
ER  -