Compiling minimum incremental update for modular SDN languages. - Xitao Wen; Chunxiao Diao; Xun Zhao; Yan Chen 004; Li Erran Li; Bo Yang; Kai Bu (HotSDN, 2014)