<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "An Improved Type System for Counting Logs of Transactional Multi-threaded Programs"^^ . "This paper presents an improved type system to estimate an\r\nupper 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."^^ . "2015" . . . . . . . . . . "Truong"^^ . "Hoang"^^ . "Truong Hoang"^^ . . "Xuan Tung"^^ . "Vu"^^ . "Xuan Tung Vu"^^ . . . . "PAS: the 4th International Seminar on Program Verification, Automated Debugging and Symbolic Computation"^^ . . . . . "Beijing, China"^^ . . . . . "HTML Summary of #1741 \n\nAn Improved Type System for Counting Logs of Transactional Multi-threaded Programs\n\n" . "text/html" . . . "Information Technology (IT)"@en . .