An assertion language for debugging SDN applications.

Ryan Beckett Xuan Kelvin Zou Shuyuan Zhang Sharad Malik Jennifer Rexford David Walker

Published in: HotSDN (2014)

Keyphrases

programming language
natural language
language learning
context dependent
model based diagnosis
knowledge base
software engineering
language processing
parallel programming