Marie-Christine Jakobs, Heike Wehrheim. Programs from proofs of predicated dataflow analyses. In Roger L. Wainwright, Juan Manuel Corchado, Alessio Bechini, Jiman Hong, editors, Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015. pages 1729-1736, ACM, 2015. [doi]
Abstract is missing.