Mechanized semantics for the Clight subset of the C language

Sandrine Blazy Xavier Leroy

Published in: CoRR (2009)

Keyphrases

formal semantics
logic programming
semantic information
semantic representation
nonmonotonic logics
logical language
database
real time
genetic algorithm
knowledge base
clustering algorithm
case study
classification accuracy
temporal logic
initial set
model theoretic