Separation Logic for Small-Step cminor.

Andrew W. Appel Sandrine Blazy

Published in: TPHOLs (2007)

Keyphrases

real world
small size
real time
information retrieval
small number
logic programming
post processing
learning algorithm
expert systems
multi step
automated reasoning
multi valued
proof theory