Thread modularity at many levels: a pearl in compositional verification

Hoenicke, Jochen and Majumdar, Rupak and Podelski, Andreas
(2017) Thread modularity at many levels: a pearl in compositional verification.
In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17).
Conference: POPL - ACM-SIGACT Symposium on Principles of Programming Languages

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item