Separation Logic for Small-step Cminor

Andrew W. Appel Sandrine Blazy

Published in: CoRR (2007)

Keyphrases

modal logic
database
social networks
multi agent
post processing
decision trees
hidden markov models
logic programming
multi step