relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1530/
title: A type system for calculating the maximum log memory used by transactional programs
creator: Nguyen, Ngoc Khai
creator: Truong, Anh Hoang
creator: Dang, Van Hung
subject: Information Technology (IT)
description: 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.
date: 2016-03-26
type: Conference or Workshop Item
type: NonPeerReviewed
format: application/pdf
language: en
identifier: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1530/1/Khai.Poster.26.3.pdf
identifier:   Nguyen, Ngoc Khai and Truong, Anh Hoang and Dang, Van Hung  (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.