Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Mitchell Pickard"'
Autor:
Graham Hutton, Mitchell Pickard
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-27
Compilers are difficult to write, and difficult to get right. Bahr and Hutton recently developed a new technique for calculating compilers directly from specifications of their correctness, which ensures that the resulting compilers are correct-by-co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8367c32b0789b8cef9e2e7b512241f97
https://doi.org/10.1145/3473587
https://doi.org/10.1145/3473587
