< Terug naar vorige pagina
Publicatie
Transpiling Programming Computable Functions to Answer Set Programs
Boekbijdrage - Boekhoofdstuk Conferentiebijdrage
© 2019, Springer Nature Switzerland AG. Programming Computable Functions (PCF) is a simplified programming language which provides the theoretical basis of modern functional programming languages. Answer set programming (ASP) is a programming paradigm focused on solving search problems. In this paper we provide a translation from PCF to ASP. Using this translation it becomes possible to specify search problems using PCF.
Boek: Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Pagina's: 3 - 17
ISBN:9783030162016
Jaar van publicatie:2018