Login / Signup

Generic Hoare Logic for Order-Enriched Effects with Exceptions.

Christoph RauchSergey GoncharovLutz Schröder
Published in: WADT (2016)
Keyphrases
  • digital libraries
  • databases
  • database systems
  • multiscale
  • logic programming