"Programs from proofs of predicated dataflow analyses."

Marie-Christine Jakobs, Heike Wehrheim (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics