Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Dmitri Garbuzov"'
Publikováno v:
Interactive Theorem Proving ISBN: 9783319948201
ITP
ITP
Establishing that two programs are contextually equivalent is hard, yet essential for reasoning about semantics preserving program transformations such as compiler optimizations. We adapt Lassen’s normal form bisimulations technique to establish th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7da3291f24c50193e7fc81c9d47f7e54
https://doi.org/10.1007/978-3-319-94821-8_31
https://doi.org/10.1007/978-3-319-94821-8_31
Autor:
Viktor Vafeiadis, William Mansky, Chung-Kil Hur, Steve Zdancewic, Dmitri Garbuzov, Jeehoon Kang
Publikováno v:
PLDI
The ISO C standard does not specify the semantics of many valid programs that use non-portable idioms such as integer-pointer casts. Recent efforts at formal definitions and verified implementation of the C language inherit this feature. By adopting
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::89e7c7e6c3be2ddbe26513fa13cb6f88
https://doi.org/10.1145/2737924.2738005
https://doi.org/10.1145/2737924.2738005
Publikováno v:
ICC
Interleaved Polling with Adaptive Cycle Time (IPACT) is one of the earliest proposed polling schemes for dynamic bandwidth allocation in Ethernet Passive Optical Networks (EPONs) and has been extensively used as a benchmark by many subsequent allocat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5148e0f896ab42725de70d6113e3f73a
https://doi.org/10.1109/icc.2006.255186
https://doi.org/10.1109/icc.2006.255186