Specifying I/O using abstract nested hoare triples in separation logic.

Willem Penninckx Amin Timany Bart Jacobs

Published in: FTfJP@ECOOP (2019)

Keyphrases

input output
propositional dynamic logic
multi valued
automated reasoning
logic programming
modal logic
storage systems
predicate logic
low level
file system
proof theory
data sets
high level
object oriented
description logics
main memory