Atomic invariants verification and deadlock detection at compile-time

Ionut Tamas, Ioan Salomie, Marcel Antal. Atomic invariants verification and deadlock detection at compile-time. In Radu Razvan Slavescu, editor, 14th IEEE International Conference on Intelligent Computer Communication and Processing, ICCP 2018, Cluj-Napoca, Romania, September 6-8, 2018. pages 435-441, IEEE, 2018. [doi]

Abstract

Abstract is missing.