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