An operational and axiomatic semantics for non-determinism and sequence points in C.

Robbert Krebbers

Published in: POPL (2014)

Keyphrases

formal semantics
point sets
genetic algorithm
knowledge base
input data
semantic information
endpoints
conceptual graphs
decision making
metadata
decision theory