Ngoc Khai Nguyen and Anh Hoang Truong and Van Hung Dang (2016) A type system for calculating the maximum log memory used by transactional programs. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.
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.
|Item Type:||Conference or Workshop Item (Poster)|
|Subjects:||Information Technology (IT)|
|Deposited By:||Dr Ngoc Thang Bui|
|Deposited On:||23 May 2016 05:22|
|Last Modified:||23 May 2016 05:22|
Repository Staff Only: item control page