Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Cătălin Hritţcu"'
Autor:
Cătălin Hritţcu, Roberto Blanco, Marco Patrignani, Carmine Abate, Éric Tanter, Adrien Durier, Deepak Garg, Ştefan Ciobâcă, Jérémy Thibault
Publikováno v:
ACM Transactions on Programming Languages and Systems
Compiler correctness, in its simplest form, is defined as the inclusion of the set of traces of the compiled program in the set of traces of the original program. This is equivalent to the preservation of all trace properties. Here, traces collect, f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f1d664202b6cfad95f37896e3bc7b048
