Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Polyvios Pratikaki"'
Autor:
Polyvios Pratikaki, Derrick Coetzee, Jeremy P. Condit, Mike Emmi, Frances Perry, Chris Hawblitzel, Juan Chen
Publikováno v:
PLDI
Type-preserving compilers translate well-typed source code, such as Java or C#, into verifiable target code, such as typed assembly language or proof-carrying code. This paper presents the implementation of type-preserving compilation in a complex, l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dd2bda3c051389319ddfcf98c5b3bc46
https://doi.org/10.1145/1375581.1375604
https://doi.org/10.1145/1375581.1375604
Publikováno v:
ACM Journal on Emerging Technologies in Computing Systems; Jan2023, Vol. 19 Issue 1, p1-34, 34p
Autor:
Chen, Juan, Hawblitzel, Chris, Perry, Frances, Emmi, Mike, Condit, Jeremy, Coetzee, Derrick, Pratikaki, Polyvios
Publikováno v:
Proceedings of the 2008 ACM SIGPLAN Conference: Programming Language Design & Implementation; 6/ 7/2008, p183-192, 10p