Fractional resources in unbounded separation logic.

Thibault Dardinier Peter Müller Alexander J. Summers

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

limited resources
resource allocation
databases
resource requirements
logic programming
multi valued
logical framework
knowledge representation
resource management
computing resources
defeasible logic
predicate logic
delay insensitive