Thunks and Debits in Separation Logic with Time Credits.

François Pottier Armaël Guéneau Jacques-Henri Jourdan Glen Mével

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

Keyphrases

modal logic
predicate logic
multi valued
classical logic
natural language
artificial neural networks
logic programming
linear logic
deontic logic
defeasible logic
logical framework
probabilistic logic
real time
search algorithm
web services
knowledge base
genetic algorithm
neural network
data sets