Santosh Nagarakatte
AuthID: R-00J-TH9
1
TÃTULO: Provably correct peephole optimizations with alive
AUTORES: Nuno P Lopes ; David Menendez; Santosh Nagarakatte; John Regehr;
PUBLICAÇÃO: 2015, FONTE: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015
AUTORES: Nuno P Lopes ; David Menendez; Santosh Nagarakatte; John Regehr;
PUBLICAÇÃO: 2015, FONTE: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015
INDEXADO EM: 
DBLP
DBLP