SwitchLog: A Logic Programming Language for Network Switches.

Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker

Browse the full PADL paper archive.