A Machine-Checked Framework for Relational Separation Logic.

Juan Manuel Crespo César Kunz

Published in: SEFM (2011)

Keyphrases

main contribution
object oriented
conceptual framework
databases
neural network
genetic algorithm
knowledge base
logical framework