eprintid: 2712
rev_number: 9
eprint_status: archive
userid: 309
dir: disk0/00/00/27/12
datestamp: 2017-12-04 09:12:23
lastmod: 2017-12-04 09:12:23
status_changed: 2017-12-04 09:12:23
type: conference_item
metadata_visibility: show
creators_name: Nguyen, Ngoc Khai
creators_name: Truong, Anh Hoang
creators_id: hoangta@vnu.edu.vn
title: A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs
ispublished: pub
subjects: IT
divisions: fac_fit
date: 2017
date_type: published
full_text_status: none
pres_type: paper
event_title: SoICT 2017: 8th International Symposium on Information and Communications
event_location: Nha Trang
event_dates: December 2017
event_type: conference
refereed: TRUE
citation:   Nguyen, Ngoc Khai and Truong, Anh Hoang  (2017) A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs.  In: SoICT 2017: 8th International Symposium on Information and Communications, December 2017, Nha Trang.