Constructing Programs from Examples and other Specifications
Event details
| Date | 16.06.2014 |
| Hour | 11:30 |
| Speaker | Viktor Kuncak, EPFL |
| Location | |
| Category | Conferences - Seminars |
I will present techniques my research group has been developing to transform reusable software specifications, suitable for users and designers, into executable implementations, suitable for efficient execution. I outline deductive synthesis techniques that transform input/output behavior descriptions (such as examples, postconditions, and invariants) into conventional functions form inputs to outputs. We have applied these techniques to synthesize recursive operations on functional data structures.
Links
Practical information
- General public
- Free
Organizer
- Boi Faltings
Contact
- Sylvie Thomet