17 search results - page 4 / 4 » A Simple Correctness Proof for Magic Transformation |
POPL
2010
ACM
13 years 5 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
POPL
2012
ACM
12 years 25 days ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...