Back to Search
Start Over
Simuliris: A Separation Logic Framework for Verifying concurrent Program Optimizations
- Source :
- Proceedings of the ACM on Programming Languages; 1; 31; 2475-1421; POPL; 6; 28; ~Proceedings of the ACM on Programming Languages~1~31~~~2475-1421~POPL~6~~28
- Publication Year :
- 2022
-
Abstract
- Contains fulltext : 247683.pdf (Publisher’s version ) (Open Access)
Details
- Database :
- OAIster
- Journal :
- Proceedings of the ACM on Programming Languages; 1; 31; 2475-1421; POPL; 6; 28; ~Proceedings of the ACM on Programming Languages~1~31~~~2475-1421~POPL~6~~28
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1306045412
- Document Type :
- Electronic Resource