Login / Signup
"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs.
Patrick Cousot
Radhia Cousot
Published in:
Theor. Comput. Sci. (1993)
Keyphrases
</>
machine learning
functional programs
information retrieval
databases
decision making
knowledge base
multiscale
video sequences
search algorithm
expert systems
key features
inductive logic programming
rule induction
imperative programs