Mechanized Semantics for the Clight Subset of the C Language.

Sandrine Blazy Xavier Leroy

Published in: J. Autom. Reason. (2009)

Keyphrases

formal semantics
logic programming
data sets
metadata
conceptual model
selected subset
database
neural network
information retrieval
genetic algorithm
case study
evolutionary algorithm