Generic Hoare Logic for Order-Enriched Effects with Exceptions

Rauch C, Goncharov S, Schröder L (2017)

Publication Language: English

Publication Type: Conference contribution, Original article

Publication year: 2017

Publisher: Springer

Pages Range: 208--222

Conference Proceedings Title: Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Revised Selected Papers

DOI: 10.1007/978-3-319-72044-9_14

Authors with CRIS profile

Christoph Rauch Lehrstuhl für Informatik 8 (Theoretische Informatik) Sergey Goncharov Technische Fakultät Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

A High Level Language for Monad-based Processes (HighMoon/HighMoon2) Sept. 1, 2013 - Oct. 31, 2020

How to cite

APA:

Rauch, C., Goncharov, S., & Schröder, L. (2017). Generic Hoare Logic for Order-Enriched Effects with Exceptions. In James P, Roggenbach M (Eds.), Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Revised Selected Papers (pp. 208--222). Springer.

MLA:

Rauch, Christoph, Sergey Goncharov, and Lutz Schröder. "Generic Hoare Logic for Order-Enriched Effects with Exceptions." Proceedings of the Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016 Ed. James P, Roggenbach M, Springer, 2017. 208--222.

BibTeX: Download