<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A type system for calculating the maximum log memory used by transactional programs"^^ . "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."^^ . "2016-03-26" . . . . . . . . . . . . . . "Van Hung"^^ . "Dang"^^ . "Van Hung Dang"^^ . . "Anh Hoang"^^ . "Truong"^^ . "Anh Hoang Truong"^^ . . "Ngoc Khai"^^ . "Nguyen"^^ . "Ngoc Khai Nguyen"^^ . . . . "SW4PHD: the 2016 Scientific Workshop for PhD Students"^^ . . . . . "Hanoi"^^ . . . . . . "A type system for calculating the maximum log memory used by transactional programs (PDF)"^^ . . . "Khai.Poster.26.3.pdf"^^ . . "HTML Summary of #1530 \n\nA type system for calculating the maximum log memory used by transactional programs\n\n" . "text/html" . . . "Information Technology (IT)"@en . .