• DOI:10.1007/978-3-030-16202-3_1
Corpus ID: 52075093

Transpiling Programmable Computable Functions to Answer Set Programs

@article{Dasseville2018TranspilingPC,
  title={Transpiling Programmable Computable Functions to Answer Set Programs},
  author={Ingmar Dasseville and M. Denecker},
  journal={ArXiv},
  year={2018},
  volume={abs/1808.07770}
}

Ingmar Dasseville, M. Denecker

Published 2018

Computer Science

ArXiv

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed

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.