A Fast Compiler for NetKAT.

Steffen Smolka Spiridon Aristides Eliopoulos Nate Foster Arjun Guha

Published in: CoRR (2015)

Keyphrases

programming language
general purpose
code generation
software systems
information retrieval
genetic algorithm
computer vision
image sequences
software engineering
parallel execution
highly optimized
level parallelism