Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis.
Thanh-Toan NguyenQuang-Trung TaIlya SergeyWei-Ngan ChinPublished in: VMCAI (2021)
Keyphrases
- functional programs
- data structure
- logic programs
- functional language
- database languages
- artificial intelligence
- program synthesis
- computer assisted
- real time
- semi automated
- computer programs
- fully automated
- hypothesis formation
- explanation based learning
- texture synthesis
- answer sets
- computer aided
- object oriented
- video sequences
- website
- data sets