Hoare-style reasoning with (algebraic) continuations

DOI10.1145/2500365.2500593zbMath1323.68369OpenAlexW1970338420MaRDI QIDQ5244817

Aleksandar Nanevski, Germán Andrés Delbianco

Publication date: 30 March 2015

Published in: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2500365.2500593

zbMATH Keywords

dependent typesHoare logiccontinuationscallcc

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Equational Theories of Abnormal Termination Based on Kleene Algebra

This page was built for publication: Hoare-style reasoning with (algebraic) continuations