In this paper we define K-LLVM, a reference semantics for LLVM IR. To the best of our knowledge, K-LLVM is the most ... S-4Research Papers at SPLASH-I +12h
確定! 回上一頁