[ACM Press the Third Symposium - Ha Long, Vietnam (2012.08.23-2012.08.24)] Proceedings of the Third Symposium on Information and Communication Technology - SoICT '12 - A type system for finding upper resource bounds of multi-threaded programs with nested transactions
Vu, Xuan-Tung, Tran, Mai Thuong, Truong, Anh-Hoang, Steffen, MartinYear:
2012
Language:
english
DOI:
10.1145/2350716.2350722
File:
PDF, 868 KB
english, 2012