Matches in SemOpenAlex for { <https://semopenalex.org/work/W3082965907> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3082965907 endingPage "203" @default.
- W3082965907 startingPage "180" @default.
- W3082965907 abstract "Asynchronous concurrent programing is a widely spread technique offering some simple concurrent primitives that are restricted in such a way that the resulting concurrent programs are deadlock free. In this paper, we develop, study and extend a formal model of the underlying application programmer interface. For such a purpose, we formally define the extension of a monad by some notion of monad references uniquely bound to running monad actions together with the associated asynchronous primitives fork and read. The expected semantics is specified via two series of equations relating the behavior of these extension primitives with the underlying monad primitives. Thanks to these equations, we recover a fairly general notion of promises and prove that they induce a monad isomorphic to the underlying monad. We also show how synchronous and asynchronous reactive data flow programming eventually derive from such a formalization of asynchronous concurrency, uniformly lifting fork and read primitives from monadic actions to monadic streams of actions. Our proposal is illustrated throughout by concrete extensions of Haskell IO monad that allows for proving the soundness of the proposed equations and the applicability of the resulting API." @default.
- W3082965907 created "2020-09-08" @default.
- W3082965907 creator A5041128243 @default.
- W3082965907 date "2020-01-01" @default.
- W3082965907 modified "2023-10-18" @default.
- W3082965907 title "An Equational Modeling of Asynchronous Concurrent Programming" @default.
- W3082965907 cites W1495087637 @default.
- W3082965907 cites W1529733759 @default.
- W3082965907 cites W1983587324 @default.
- W3082965907 cites W2208976468 @default.
- W3082965907 cites W2295914203 @default.
- W3082965907 cites W2296715995 @default.
- W3082965907 cites W2783767991 @default.
- W3082965907 cites W2964207285 @default.
- W3082965907 cites W2993768519 @default.
- W3082965907 cites W4244488020 @default.
- W3082965907 doi "https://doi.org/10.1007/978-3-030-57761-2_9" @default.
- W3082965907 hasPublicationYear "2020" @default.
- W3082965907 type Work @default.
- W3082965907 sameAs 3082965907 @default.
- W3082965907 citedByCount "1" @default.
- W3082965907 countsByYear W30829659072020 @default.
- W3082965907 crossrefType "book-chapter" @default.
- W3082965907 hasAuthorship W3082965907A5041128243 @default.
- W3082965907 hasBestOaLocation W30829659072 @default.
- W3082965907 hasConcept C118615104 @default.
- W3082965907 hasConcept C151319957 @default.
- W3082965907 hasConcept C156772000 @default.
- W3082965907 hasConcept C184337299 @default.
- W3082965907 hasConcept C193702766 @default.
- W3082965907 hasConcept C199360897 @default.
- W3082965907 hasConcept C2778029271 @default.
- W3082965907 hasConcept C2778514511 @default.
- W3082965907 hasConcept C2780624054 @default.
- W3082965907 hasConcept C31258907 @default.
- W3082965907 hasConcept C33923547 @default.
- W3082965907 hasConcept C33959348 @default.
- W3082965907 hasConcept C39920170 @default.
- W3082965907 hasConcept C41008148 @default.
- W3082965907 hasConcept C42383842 @default.
- W3082965907 hasConcept C80444323 @default.
- W3082965907 hasConceptScore W3082965907C118615104 @default.
- W3082965907 hasConceptScore W3082965907C151319957 @default.
- W3082965907 hasConceptScore W3082965907C156772000 @default.
- W3082965907 hasConceptScore W3082965907C184337299 @default.
- W3082965907 hasConceptScore W3082965907C193702766 @default.
- W3082965907 hasConceptScore W3082965907C199360897 @default.
- W3082965907 hasConceptScore W3082965907C2778029271 @default.
- W3082965907 hasConceptScore W3082965907C2778514511 @default.
- W3082965907 hasConceptScore W3082965907C2780624054 @default.
- W3082965907 hasConceptScore W3082965907C31258907 @default.
- W3082965907 hasConceptScore W3082965907C33923547 @default.
- W3082965907 hasConceptScore W3082965907C33959348 @default.
- W3082965907 hasConceptScore W3082965907C39920170 @default.
- W3082965907 hasConceptScore W3082965907C41008148 @default.
- W3082965907 hasConceptScore W3082965907C42383842 @default.
- W3082965907 hasConceptScore W3082965907C80444323 @default.
- W3082965907 hasLocation W30829659071 @default.
- W3082965907 hasLocation W30829659072 @default.
- W3082965907 hasLocation W30829659073 @default.
- W3082965907 hasLocation W30829659074 @default.
- W3082965907 hasOpenAccess W3082965907 @default.
- W3082965907 hasPrimaryLocation W30829659071 @default.
- W3082965907 hasRelatedWork W1489609867 @default.
- W3082965907 hasRelatedWork W154014553 @default.
- W3082965907 hasRelatedWork W1602185604 @default.
- W3082965907 hasRelatedWork W1911419940 @default.
- W3082965907 hasRelatedWork W2112263414 @default.
- W3082965907 hasRelatedWork W2373472360 @default.
- W3082965907 hasRelatedWork W2466718051 @default.
- W3082965907 hasRelatedWork W2913635267 @default.
- W3082965907 hasRelatedWork W2995031344 @default.
- W3082965907 hasRelatedWork W3206498514 @default.
- W3082965907 isParatext "false" @default.
- W3082965907 isRetracted "false" @default.
- W3082965907 magId "3082965907" @default.
- W3082965907 workType "book-chapter" @default.