%0 Conference Paper
%A Nguyen, Ngoc Khai
%A Truong, Anh Hoang
%A Dang, Van Hung
%B SW4PHD: the 2016 Scientific Workshop for PhD Students
%C Hanoi
%D 2016
%F SisLab:1530
%T A type system for calculating the maximum log memory used by transactional programs
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1530/
%X We developed a type system for estimating an upper bound of memory that multi-threaded and nested transactional programs may require for their transaction logs. In our previous works, we only esti- mated the maximum number of logs that can coexist by static type and effect systems. This work extends our previous language that allows ones to specify also the size of logs in a transaction, and then develop a type system that can infer the memory bound required by the transaction logs.