Separation Logic for Non-local Control Flow and Block Scope Variables.

Robbert Krebbers Freek Wiedijk

Published in: FoSSaCS (2013)

Keyphrases

logical formulas
control flow
data flow
process model
software testing
transition systems
high level
learning algorithm
workflow management systems
database
multi agent
data structure
modeling language
machine learning
formal semantics
real world
data sets