Supercompiling String Programs Using Word Equations as Constraints.

Antonina Nepeivoda

Published in: CoRR (2018)

Keyphrases

string matching
co occurrence
data structure
computer programs
neural network
keywords
pattern matching
differential equations
constrained optimization
variable length
fixpoint
context free grammars