A fast compiler for NetKAT.

Steffen Smolka Spiridon Aristides Eliopoulos Nate Foster Arjun Guha

Published in: ICFP (2015)

Keyphrases

programming language
general purpose
highly optimized
distributed memory machines
software systems
level parallelism
real world
information retrieval
genetic algorithm
code generation