Vi presenterar en strategi för programreparation och dess tillämpning på program med rekursiva funktioner över obundna datatyper. Vårt tillvägagångssätt formulerar programreparation inom ramen för deduktiv syntes som använder befintlig programstruktur som en antydan till vägledning syntes. Vi inför en ny specifikationskonstruktion för symboliska tester. Vi förlitar oss på sådana användardefinierade tester samt automatiskt genererade tester för att lokalisera felet och påskynda syntesen. Vår implementation kan eliminera fel inom några sekunder från en mängd olika funktionella program, inklusive symbolisk beräkningskod och implementationer av funktionella datastrukturer. De resulterande programmen verifieras formellt av Leonsystemet.
Tekniken genom REF kan reparera logiskt fel av funktionella program men det kräver användartillhandahållna specifikationer.
Deductive Program Repair
{'venue': 'CAV', 'journal': None, 'mag_field_of_study': ['Computer Science']}