Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction

DOI10.1007/978-3-319-17822-6_2zbMath1353.68033OpenAlexW780386348MaRDI QIDQ2949697

Danny De Schreye, Vincent Nys, C. Nicholson

Publication date: 2 October 2015

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/487002

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Abstract conjunctive partial deduction for the analysis and compilation of coroutines

This page was built for publication: Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction