Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction
From MaRDI portal
Publication:2949697
DOI10.1007/978-3-319-17822-6_2zbMath1353.68033MaRDI 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
68N20: Theory of compilers and interpreters
68N17: Logic programming
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
