Formally Verifying a Compiler: What Does It Mean, Exactly?

Published in: ICALP (2016)

Keyphrases

programming language
general purpose
software systems
model checking
distributed memory machines
database
information retrieval
social networks
multiscale
data sets
databases
neural network
information systems
case study
search algorithm
multi agent systems