Logical Characterization of Coherent Uninterpreted Programs.

Hari Govind V. K.Sharon Shoham Arie Gurfinkel

Published in: CoRR (2021)

Keyphrases

computer programs
dynamic logic
data sets
programming environment
fixpoint
decision making
logical representation
artificial intelligence
expert systems
information technology
hidden markov models
answer sets
prolog programs