A compiler and run-time system for network programming languages