Automatic synthesis of specifications for first order curry programs.
Giovanni BacciMarco CominiMarco Antonio FeliúAlicia VillanuevaPublished in: PPDP (2012)
Keyphrases
- functional programs
- recursive programs
- semi automatic
- higher order
- control flow
- program synthesis
- fully automatic
- high level
- first order logic
- finite state machines
- case study
- formal specification
- data flow
- programming environment
- specification language
- data driven
- programming language
- reactive systems
- facial expressions
- data sets