Efficient data structures
sebdumancic opened this issue · comments
Sebastijan Dumancic commented
Version space algebra for programs:
- Programming by demonstration using version space algebra
- Version Space Algebra and its Application to Programming by Demonstration
- Version Space Algebras from SMARTedit to FlashFill
Equality-constrained automata
Term rewriting (?)