K-LLVM: A Relatively Complete Semantics of LLVM IR.

Liyi Li Elsa L. Gunter

Published in: ECOOP (2020)

Keyphrases

information retrieval
text retrieval
logic programming
formal semantics
neural network
information retrieval systems
semantic information
web information retrieval
document centric
databases
multi agent
digital libraries
ad hoc retrieval