A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning.

Reynald Affeldt David Nowak Takafumi Saikawa

Published in: MPC (2019)

Keyphrases

deductive databases
optimal solution
higher level
hierarchical structure
artificial intelligence
search engine
image processing
website
high level
similarity measure
search algorithm
data management
lower level
negative effects
hierarchical organization