Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Arthur Oliveira Vale"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 7:1089-1120
Compositionality is at the core of programming languages research and has become an important goal toward scalable verification of large systems. Despite that, there is no compositional account of linearizability, the gold standard of correctness for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3ece3ec2bb6e52cb3d705d06016768f3
https://doi.org/10.1145/3571231
https://doi.org/10.1145/3571231
Publikováno v:
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, 2022, ⟨10.1145/3498703⟩
Proceedings of the ACM on Programming Languages, ACM, 2022, ⟨10.1145/3498703⟩
Proceedings of the ACM on Programming Languages, 2022, ⟨10.1145/3498703⟩
Proceedings of the ACM on Programming Languages, ACM, 2022, ⟨10.1145/3498703⟩
Large-scale software verification relies critically on the use of compositional languages, semantic models, specifications, and verification techniques. Recent work on certified abstraction layers synthesizes game semantics, the refinement calculus,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::08a165a1165f43b75c24df42caed9d38
https://doi.org/10.1145/3498703
https://doi.org/10.1145/3498703