eprintid: 1530
rev_number: 8
eprint_status: archive
userid: 243
dir: disk0/00/00/15/30
datestamp: 2016-05-23 05:22:07
lastmod: 2016-05-23 05:22:44
status_changed: 2016-05-23 05:22:07
type: conference_item
metadata_visibility: show
creators_name: Nguyen, Ngoc Khai
creators_name: Truong, Anh Hoang
creators_name: Dang, Van Hung
creators_id: hoangta@vnu.edu.vn
title: A type system for calculating the maximum log memory used by transactional programs
ispublished: pub
subjects: IT
abstract: 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
date_type: published
full_text_status: public
pres_type: poster
event_title: SW4PHD: the 2016 Scientific Workshop for PhD Students
event_location: Hanoi
event_dates: 26 March 2016
event_type: workshop
refereed: FALSE
citation:   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.     
document_url: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1530/1/Khai.Poster.26.3.pdf