Matches in SemOpenAlex for { <https://semopenalex.org/work/W4319166567> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W4319166567 abstract "Algebraic effects and handlers are a powerful abstraction to build non-local control-flow mechanisms such as resumable exceptions, lightweight threads, co-routines, generators, and asynchronous I/O. All of such features have very evolved semantics, hence they pose very interesting challenges to deductive verification techniques. In fact, there are very few proposed techniques to deductively verify programs featuring these constructs, even fewer when it comes to automated proofs. In this paper, we present an extension to Cameleer, a deductive verification tool for OCaml code, that allows one to reason about algebraic effects and handlers. Our proposal embeds the behavior of effects and handlers using exceptions and employs defunctionalization to deal with continuations exposed by effect handlers." @default.
- W4319166567 created "2023-02-04" @default.
- W4319166567 creator A5006863930 @default.
- W4319166567 creator A5071076709 @default.
- W4319166567 date "2023-02-02" @default.
- W4319166567 modified "2023-09-27" @default.
- W4319166567 title "A Framework for the Automated Verification of Algebraic Effects and Handlers (extended version)" @default.
- W4319166567 doi "https://doi.org/10.48550/arxiv.2302.01265" @default.
- W4319166567 hasPublicationYear "2023" @default.
- W4319166567 type Work @default.
- W4319166567 citedByCount "0" @default.
- W4319166567 crossrefType "posted-content" @default.
- W4319166567 hasAuthorship W4319166567A5006863930 @default.
- W4319166567 hasAuthorship W4319166567A5071076709 @default.
- W4319166567 hasBestOaLocation W43191665671 @default.
- W4319166567 hasConcept C108710211 @default.
- W4319166567 hasConcept C111472728 @default.
- W4319166567 hasConcept C124304363 @default.
- W4319166567 hasConcept C134306372 @default.
- W4319166567 hasConcept C138885662 @default.
- W4319166567 hasConcept C151319957 @default.
- W4319166567 hasConcept C160191386 @default.
- W4319166567 hasConcept C184337299 @default.
- W4319166567 hasConcept C199360897 @default.
- W4319166567 hasConcept C2524010 @default.
- W4319166567 hasConcept C2778029271 @default.
- W4319166567 hasConcept C31258907 @default.
- W4319166567 hasConcept C33923547 @default.
- W4319166567 hasConcept C41008148 @default.
- W4319166567 hasConcept C80444323 @default.
- W4319166567 hasConcept C9376300 @default.
- W4319166567 hasConceptScore W4319166567C108710211 @default.
- W4319166567 hasConceptScore W4319166567C111472728 @default.
- W4319166567 hasConceptScore W4319166567C124304363 @default.
- W4319166567 hasConceptScore W4319166567C134306372 @default.
- W4319166567 hasConceptScore W4319166567C138885662 @default.
- W4319166567 hasConceptScore W4319166567C151319957 @default.
- W4319166567 hasConceptScore W4319166567C160191386 @default.
- W4319166567 hasConceptScore W4319166567C184337299 @default.
- W4319166567 hasConceptScore W4319166567C199360897 @default.
- W4319166567 hasConceptScore W4319166567C2524010 @default.
- W4319166567 hasConceptScore W4319166567C2778029271 @default.
- W4319166567 hasConceptScore W4319166567C31258907 @default.
- W4319166567 hasConceptScore W4319166567C33923547 @default.
- W4319166567 hasConceptScore W4319166567C41008148 @default.
- W4319166567 hasConceptScore W4319166567C80444323 @default.
- W4319166567 hasConceptScore W4319166567C9376300 @default.
- W4319166567 hasLocation W43191665671 @default.
- W4319166567 hasOpenAccess W4319166567 @default.
- W4319166567 hasPrimaryLocation W43191665671 @default.
- W4319166567 hasRelatedWork W1778728081 @default.
- W4319166567 hasRelatedWork W1965339206 @default.
- W4319166567 hasRelatedWork W27605384 @default.
- W4319166567 hasRelatedWork W2952136710 @default.
- W4319166567 hasRelatedWork W3115181000 @default.
- W4319166567 hasRelatedWork W3121375309 @default.
- W4319166567 hasRelatedWork W3160136729 @default.
- W4319166567 hasRelatedWork W4206103993 @default.
- W4319166567 hasRelatedWork W4250918063 @default.
- W4319166567 hasRelatedWork W4297827766 @default.
- W4319166567 isParatext "false" @default.
- W4319166567 isRetracted "false" @default.
- W4319166567 workType "article" @default.