Date: 2018-10-25 12:43:22Software engineering Computing Software Compilers Compiler construction Compiler optimizations Abstract interpretation LLVM Programming language implementation Intermediate representation Polyspace Static program analysis | | IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standarAdd to Reading ListSource URL: jorgenavas.github.ioDownload Document from Source Website File Size: 217,62 KBShare Document on Facebook
|