Nguyen, Ngoc Khai and Truong, Anh Hoang (2017) A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs. In: SoICT 2017: 8th International Symposium on Information and Communications, December 2017, Nha Trang.
Full text not available from this repository.| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Information Technology (IT) |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | A/Prof. Truong Hoang |
| Date Deposited: | 04 Dec 2017 09:12 |
| Last Modified: | 04 Dec 2017 09:12 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/2712 |
Actions (login required)
 |
View Item |
