| Title | A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Nguyen, Ngoc-Khai, Truong, Anh-Hoang |
| Conference Name | Proceedings of the Eighth International Symposium on Information and Communication Technology |
| Publisher | ACM |
| Conference Location | New York, NY, USA |
| ISBN Number | 978-1-4503-5328-1 |
| Keywords | compositionality, Memory bound, pubcrawl, Transactional memory, type system |
| Abstract | In our previous works, we proposed several type systems that can guarantee log memory bounds of transactional programs. One drawback of these type systems is their restricted compositionality. In this work, we develop a type system that is completely compositional. It allows us to type any sub-terms of the program, instead of bottom-up style in our previous works. In addition, we also extend the language with basic elements that are close to real world languages instead of abstract languages as in our previous works. This increases the implementability of our type systems to real world languages. |
| URL | http://doi.acm.org/10.1145/3155133.3155183 |
| DOI | 10.1145/3155133.3155183 |
| Citation Key | nguyen_compositional_2017 |
A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs