%A Ngoc Khai Nguyen
%A Anh Hoang Truong
%T A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs
%C Nha Trang
%D 2017
%L SisLab2712