Sign in
The future is ours: prophecy variables in separation logic.
Ralf Jung
Rodolphe Lepigre
Gaurav Parthasarathy
Marianna Rapoport
Amin Timany
Derek Dreyer
Bart Jacobs
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
long term
modal logic
multi valued
classical logic
real world
random variables
relevant variables
search algorithm
logic programming
variable selection
computational properties
predicting future
sound and complete axiomatization