<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs"^^ . "2017" . . . . . . . . . . "Ngoc Khai"^^ . "Nguyen"^^ . "Ngoc Khai Nguyen"^^ . . "Anh Hoang"^^ . "Truong"^^ . "Anh Hoang Truong"^^ . . . . "SoICT 2017: 8th International Symposium on Information and Communications"^^ . . . . . "Nha Trang"^^ . . . . . "HTML Summary of #2712 \n\nA Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs\n\n" . "text/html" . . . "Information Technology (IT)"@en . .