Modular verification of programs with effects and effects handlers
type: Item
instance of: scholarly article
title: Modular verification of programs with effects and effects handlers
zbMATH Open document ID: 1458.68119
author: Thomas Letan
author: Yann Régis-Gianas
author: Pierre Chifflier
author: Guillaume Hiet
published in: Formal Aspects of Computing
publication date: 2021-03-04T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7317639
zbMATH Keywords: formal verification
zbMATH Keywords: Coq
describes a project that uses: FoCaLiZe
describes a project that uses: Eff
describes a project that uses: operational
describes a project that uses: FreeSpec
describes a project that uses: Spec#
describes a project that uses: ESC/Java
describes a project that uses: Coquet
describes a project that uses: Paco
describes a project that uses: Coq
describes a project that uses: Haskell
describes a project that uses: Rocksalt
describes a project that uses: Kami
describes a project that uses: GitHub
MaRDI profile type: Publication
full work available at URL: s00165-020-00523-2
OpenAlex ID: W3110742659
cites work: Programming with algebraic effects and handlers
cites work: Coquet: A Coq Library for Verifying Hardware
cites work: The power of parameterization in coinductive proof
cites work: Mathematics of program construction. 12th international conference, MPC 2015, Königswinter, Germany, June 29 -- July 1, 2015. Proceedings
cites work: Ynot
cites work: Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
cites work: Container combinatorics: monads and lax monoidal functors
cites work: Comprehending monads
DOI: 10.1007/S00165-020-00523-2
description: scientific article; zbMATH DE number 7317639