llvm-semantics:K语言中LLVM IR的形式语义

【文件属性】：
文件名称：llvm-semantics:K语言中LLVM IR的形式语义
文件大小：12.74MB
文件格式：ZIP
更新时间：2021-05-25 23:15:57
research llvm formal-semantics formal-methods llvm-ir 该项目的目标是为（LLVM IR）提供完整的可执行语义。 该语言在（版本2.6-2.7）中定义。