Semi-automated Reasoning About Non-determinism in C Expressions.

Dan Frumin Léon Gondelman Robbert Krebbers

Published in: ESOP (2019)

Keyphrases

semi automated
fully automated
facial expressions
real time
natural language
qualitative reasoning
dynamic systems
spatial reasoning
neural network
information retrieval
database systems
cooperative
expert systems
fully automatic
qualitative spatial