Maple: simplifying SDN programming using algorithmic policies
A compiler and run-time system for network programming languages