A Relatively Complete Generic Hoare Logic for Order-Enriched Effects.

Sergey Goncharov Lutz Schröder

Published in: LICS (2013)

Keyphrases

real time
real world

logic programming
image segmentation

relational databases
domain specific

positive effects