최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기정보과학회지 = Communications of the Korean Institute of Information Scientists and Engineers, v.34 no.3, 2016년, pp.27 - 30
초록이 없습니다.
* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.
mem2reg generates incorrect code. https://llvm.org/ bugs/show_bug.cgi?id24179. Accessed: 2016-02-25.
Linus torvalds: "gcc 4.9.0 seems to be terminally broken". http://www.techienews.co.uk/9715681/linus-torvaldsgcc-4-9-0-seems-terminally-broken/. Accessed: 2016-02-25.
The LLVM Compiler Infrastructure. http://www.llvm.org/ProjectsWithLLVM/. Accessed: 2016-02-25.
David Delmas and Jean Souyris. Astree: From research to industry. In Proceedings of the 14th International Conference on Static Analysis (SAS), 2007.
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood. seL4: Formal verification of an OS kernel. In Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles (SOSP), 2009.
Vu Le, Mehrdad Afshari, and Zhendong Su. Compiler validation via equivalence modulo inputs. In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2014.
Xuejun Yang, Yang Chen, Eric Eide, and John Regehr. Finding and understanding bugs in C compilers. In Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2011.
Jianzhou Zhao, Santosh Nagarakatte, Milo M.K. Martin, and Steve Zdancewic. Formalizing the LLVM intermediate representation for verified program transformations. In Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2012.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.