Abstract conjunctive partial deduction for the analysis and compilation of coroutines

From MaRDI portal
Publication:511025

DOI10.1007/s00165-016-0389-8zbMath1355.68038OpenAlexW2509164840MaRDI QIDQ511025

Danny De Schreye, Vincent Nys

Publication date: 14 February 2017

Published in: Formal Aspects of Computing (Search for Journal in Brave)

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





Uses Software


Cites Work


This page was built for publication: Abstract conjunctive partial deduction for the analysis and compilation of coroutines