LOPES, Nuno P., MENENDEZ, David, NAGARAKATTE, Santosh und REGEHR, John, 2018. Practical Verification of Peephole Optimizations with Alive. Communications of the ACM. 1 Februar 2018. Vol. 61, no. 2, p. 84-91. DOI 10.1145/3166064.
Elsevier - Harvard (with titles)Lopes, N.P., Menendez, D., Nagarakatte, S., Regehr, J., 2018. Practical Verification of Peephole Optimizations with Alive. Communications of the ACM 61, 84-91. https://doi.org/10.1145/3166064
American Psychological Association 7th editionLopes, N. P., Menendez, D., Nagarakatte, S., & Regehr, J. (2018). Practical Verification of Peephole Optimizations with Alive. Communications of the ACM, 61(2), 84-91. https://doi.org/10.1145/3166064
Springer - Basic (author-date)Lopes NP, Menendez D, Nagarakatte S, Regehr J (2018) Practical Verification of Peephole Optimizations with Alive.. Communications of the ACM 61:84-91. https://doi.org/10.1145/3166064
Juristische Zitierweise (Stüber) (Deutsch)Lopes, Nuno P./ Menendez, David/ Nagarakatte, Santosh/ Regehr, John, Practical Verification of Peephole Optimizations with Alive., Communications of the ACM 2018, 84-91.