relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2712/
title: A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs
creator: Nguyen, Ngoc Khai
creator: Truong, Anh Hoang
subject: Information Technology (IT)
date: 2017
type: Conference or Workshop Item
type: PeerReviewed
identifier:   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.