Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Ilya Kaysin"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:1-30
Program logics and semantics tell a pleasant story about sequential composition: when executing (S1;S2), we first execute S1 then S2. To improve performance, however, processors execute instructions out of order, and compilers reorder programs even m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::15c1706b2e451d14bbdbe9ab2e1a5403
https://doi.org/10.1145/3498716
https://doi.org/10.1145/3498716
Publikováno v:
Proceedings of the ACM on Programming Languages
48th ACM SIGPLAN Symposium on Principles of Programming Languages
48th ACM SIGPLAN Symposium on Principles of Programming Languages
Although ubiquitous, modern filesystems have rather complex behaviours that are hardly understood by programmers and lead to severe software bugs such as data corruption. As a first step to ensure correctness of software performing file I/O, we forma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::47750ab4370ac0414f87326fafdbf60f
http://hdl.handle.net/10044/1/86870
http://hdl.handle.net/10044/1/86870
