Abstrakt. Språk som integrerar funktionell och logisk programmering med en komplett operationell semantik bygger på förträngning, en enande-baserad mållösningsmekanism som subsumerar reduktionsprincipen för funktionella språk och resolutionsprincipen för logiska språk. Formella metoder för omvandling av funktionella logiska program kan baseras på denna väletablerade operationella semantik. I detta dokument presenterar vi ett delutvärderingssystem för funktionella logikspråk baserat på en automatisk algoritm som bygger förträngningsträd. Vi studerar de semantiska egenskaperna hos omvandlingen och de förhållanden under vilka tekniken upphör, är sund och komplett, och är också allmänt tillämplig på en bred klass av program. Vi illustrerar vår metod med flera exempel och diskuterar relationen med Superkompilering och Partiell Utvärdering. Såvitt vi vet är detta det första formella förhållningssättet till partiell utvärdering av funktionella logiska program.
Unfolding har också tillämpats på funktionell-logisk programmering REF.
Narrowing-driven Partial Evaluation of Functional Logic Programs
{'venue': 'ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS', 'journal': None, 'mag_field_of_study': ['Computer Science']}