Nicholas Ng, Nobuko Yoshida. Static deadlock detection for concurrent go by global session graph synthesis. In Ayal Zaks, Manuel V. Hermenegildo, editors, Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016. pages 174-184, ACM, 2016. [doi]
No reviews for this publication, yet.