Formalizing Semantics with an Automatic Program Verifier.

Martin Clochard Jean-Christophe Filliâtre Claude Marché Andrei Paskevich

Published in: VSTTE (2014)

Keyphrases

control flow
intended meaning
semantically equivalent
formal semantics
semi automatic
logic programming
semantic information
programming environment
machine learning
real time
data driven
answer set programming
multi agent
website
declarative semantics
neural network
data sets