Keyphrases
- recursive programs
- program synthesis
- functional programs
- control flow
- computer programs
- formal specification
- image sequences
- databases
- automatic programming
- control structures
- multi agent
- search algorithm
- finite state machines
- fixpoint
- high level
- intermediate level
- social networks
- provably correct
- learning algorithm
- real world