FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2177831262> ?p ?o ?g. }

• W2177831262 endingPage "32" @default.
• W2177831262 startingPage "10" @default.
• W2177831262 abstract "We devise a generic framework where a weakest precondition semantics, in the form of indexed posets, is derived from a monad whose Kleisli category is enriched by posets. It is inspired by Jacobs’ recent identification of a categorical structure that is common in various predicate transformers, but adds generality in the following aspects: (1) different notions of modality (such as “may” vs. “must”) are captured by Eilenberg-Moore algebras; (2) nested branching—like in games and in probabilistic systems with nondeterministic environments—is modularly modeled by a monad on the Eilenberg-Moore category of another." @default.
• W2177831262 created "2016-06-24" @default.
• W2177831262 creator A5013382452 @default.
• W2177831262 date "2014-01-01" @default.
• W2177831262 modified "2023-10-16" @default.
• W2177831262 title "Generic Weakest Precondition Semantics from Monads Enriched with Order" @default.
• W2177831262 cites W1489359924 @default.
• W2177831262 cites W1505081061 @default.
• W2177831262 cites W1508489761 @default.
• W2177831262 cites W1561357353 @default.
• W2177831262 cites W1664983908 @default.
• W2177831262 cites W1969533183 @default.
• W2177831262 cites W1970904244 @default.
• W2177831262 cites W1997143185 @default.
• W2177831262 cites W2003770962 @default.
• W2177831262 cites W2006192372 @default.
• W2177831262 cites W2024355065 @default.
• W2177831262 cites W2080412456 @default.
• W2177831262 cites W2107334802 @default.
• W2177831262 cites W2118222259 @default.
• W2177831262 cites W2119440710 @default.
• W2177831262 cites W2124146342 @default.
• W2177831262 cites W2141670510 @default.
• W2177831262 cites W2987907651 @default.
• W2177831262 cites W3104252790 @default.
• W2177831262 cites W3105604159 @default.
• W2177831262 cites W342302233 @default.
• W2177831262 cites W4234924236 @default.
• W2177831262 cites W58003850 @default.
• W2177831262 cites W583126019 @default.
• W2177831262 cites W1518171473 @default.
• W2177831262 doi "https://doi.org/10.1007/978-3-662-44124-4_2" @default.
• W2177831262 hasPublicationYear "2014" @default.
• W2177831262 type Work @default.
• W2177831262 sameAs 2177831262 @default.
• W2177831262 citedByCount "6" @default.
• W2177831262 countsByYear W21778312622014 @default.
• W2177831262 countsByYear W21778312622015 @default.
• W2177831262 countsByYear W21778312622017 @default.
• W2177831262 countsByYear W21778312622021 @default.
• W2177831262 crossrefType "book-chapter" @default.
• W2177831262 hasAuthorship W2177831262A5013382452 @default.
• W2177831262 hasBestOaLocation W21778312621 @default.
• W2177831262 hasConcept C118615104 @default.
• W2177831262 hasConcept C121375916 @default.
• W2177831262 hasConcept C140146324 @default.
• W2177831262 hasConcept C154945302 @default.
• W2177831262 hasConcept C156325763 @default.
• W2177831262 hasConcept C156772000 @default.
• W2177831262 hasConcept C15744967 @default.
• W2177831262 hasConcept C176181172 @default.
• W2177831262 hasConcept C184337299 @default.
• W2177831262 hasConcept C192465680 @default.
• W2177831262 hasConcept C199360897 @default.
• W2177831262 hasConcept C202444582 @default.
• W2177831262 hasConcept C2780767217 @default.
• W2177831262 hasConcept C30128091 @default.
• W2177831262 hasConcept C33923547 @default.
• W2177831262 hasConcept C33959348 @default.
• W2177831262 hasConcept C41008148 @default.
• W2177831262 hasConcept C542102704 @default.
• W2177831262 hasConcept C54884031 @default.
• W2177831262 hasConcept C80444323 @default.
• W2177831262 hasConceptScore W2177831262C118615104 @default.
• W2177831262 hasConceptScore W2177831262C121375916 @default.
• W2177831262 hasConceptScore W2177831262C140146324 @default.
• W2177831262 hasConceptScore W2177831262C154945302 @default.
• W2177831262 hasConceptScore W2177831262C156325763 @default.
• W2177831262 hasConceptScore W2177831262C156772000 @default.
• W2177831262 hasConceptScore W2177831262C15744967 @default.
• W2177831262 hasConceptScore W2177831262C176181172 @default.
• W2177831262 hasConceptScore W2177831262C184337299 @default.
• W2177831262 hasConceptScore W2177831262C192465680 @default.
• W2177831262 hasConceptScore W2177831262C199360897 @default.
• W2177831262 hasConceptScore W2177831262C202444582 @default.
• W2177831262 hasConceptScore W2177831262C2780767217 @default.
• W2177831262 hasConceptScore W2177831262C30128091 @default.
• W2177831262 hasConceptScore W2177831262C33923547 @default.
• W2177831262 hasConceptScore W2177831262C33959348 @default.
• W2177831262 hasConceptScore W2177831262C41008148 @default.
• W2177831262 hasConceptScore W2177831262C542102704 @default.
• W2177831262 hasConceptScore W2177831262C54884031 @default.
• W2177831262 hasConceptScore W2177831262C80444323 @default.
• W2177831262 hasLocation W21778312621 @default.
• W2177831262 hasLocation W21778312622 @default.
• W2177831262 hasLocation W21778312623 @default.
• W2177831262 hasLocation W21778312624 @default.
• W2177831262 hasOpenAccess W2177831262 @default.
• W2177831262 hasPrimaryLocation W21778312621 @default.
• W2177831262 hasRelatedWork W1539823645 @default.
• W2177831262 hasRelatedWork W1984184513 @default.
• W2177831262 hasRelatedWork W2013333738 @default.
• W2177831262 hasRelatedWork W2056143164 @default.
• W2177831262 hasRelatedWork W2145426968 @default.
• W2177831262 hasRelatedWork W2177831262 @default.
• W2177831262 hasRelatedWork W2322322215 @default.
• W2177831262 hasRelatedWork W2604289903 @default.
• W2177831262 hasRelatedWork W4250682738 @default.

• next