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.
Full text not available from this repository.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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Information Technology (IT) |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | Dr Minh Trien Pham |
| Date Deposited: | 08 Jun 2016 06:07 |
| Last Modified: | 22 Jun 2016 15:01 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1741 |
Actions (login required)
 |
View Item |
