Correct-Schema-Guided Synthesis of Steadfast Programs.
Pierre FlenerKung-Kiu LauMario OrnaghiPublished in: ASE (1997)
Keyphrases
- functional programs
- data model
- databases
- database schema
- schema integration
- database
- program code
- instance level
- automatic programming
- real time
- program synthesis
- texture synthesis
- fixpoint
- semi structured data
- schema matching
- schema evolution
- programming environment
- case study
- website
- e learning
- functional language
- data mining