Generic Hoare Logic for Order-Enriched Effects with Exceptions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christoph Rauch, Sergey Goncharov 0001, Lutz Schröder. Generic Hoare Logic for Order-Enriched Effects with Exceptions. In Phillip James, Markus Roggenbach, editors, Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers. Volume 10644 of Lecture Notes in Computer Science, pages 208-222, Springer, 2016. [doi]

This author has not been identified. Look up 'Christoph Rauch' in GoogleThis author has not been identified. Look up 'Sergey Goncharov 0001' in GoogleThis author has not been identified. Look up 'Lutz Schröder' in Google

runs on WebDSL