Programs from proofs of predicated dataflow analyses - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Marie-Christine Jakobs' in GoogleThis author has not been identified. Look up 'Heike Wehrheim' in Google

runs on WebDSL