[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Verification of programs under the release-acquire semantics
Abdulla, Parosh Aziz, Arora, Jatin, Atig, Mohamed Faouzi, Krishna, ShankaranarayananYear:
2019
Language:
english
DOI:
10.1145/3314221.3314649
File:
PDF, 395 KB
english, 2019