Matches in SemOpenAlex for { <https://semopenalex.org/work/W2996524159> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2996524159 abstract "Computational monads are a convenient algebraic gadget to uniformlyrepresent side-effects in programming languages, such as mutablestate, divergence, exceptions, or non-determinism. Various frameworksfor specifying programs and proving that they meet their specificationhave been proposed that are specific to a particular combination ofside-effects. For instance, one can use Hoare logic to verify thefunctional correctness of programs with mutable state with respect topre/post-conditions specifications, which are predicates on states.The goal of this thesis is to devise a principled semantic frameworkfor verifying programs with arbitrary monadic effects in a generic waywith respect to such rich specifications. One additional challenge issupporting various interpretations of effects, for instance total vspartial correctness, or angelic vs demonic nondeterminism. Finally,the framework should also accommodate relational verification, forproperties such as program equivalence." @default.
- W2996524159 created "2019-12-26" @default.
- W2996524159 creator A5083750560 @default.
- W2996524159 date "2019-11-25" @default.
- W2996524159 modified "2023-09-23" @default.
- W2996524159 title "Principles of program verification for arbitrary monadic effects" @default.
- W2996524159 hasPublicationYear "2019" @default.
- W2996524159 type Work @default.
- W2996524159 sameAs 2996524159 @default.
- W2996524159 citedByCount "0" @default.
- W2996524159 crossrefType "dissertation" @default.
- W2996524159 hasAuthorship W2996524159A5083750560 @default.
- W2996524159 hasConcept C116253237 @default.
- W2996524159 hasConcept C118615104 @default.
- W2996524159 hasConcept C156325763 @default.
- W2996524159 hasConcept C184337299 @default.
- W2996524159 hasConcept C199360897 @default.
- W2996524159 hasConcept C2777691520 @default.
- W2996524159 hasConcept C2780069185 @default.
- W2996524159 hasConcept C30128091 @default.
- W2996524159 hasConcept C33923547 @default.
- W2996524159 hasConcept C41008148 @default.
- W2996524159 hasConcept C48103436 @default.
- W2996524159 hasConcept C55439883 @default.
- W2996524159 hasConcept C80444323 @default.
- W2996524159 hasConceptScore W2996524159C116253237 @default.
- W2996524159 hasConceptScore W2996524159C118615104 @default.
- W2996524159 hasConceptScore W2996524159C156325763 @default.
- W2996524159 hasConceptScore W2996524159C184337299 @default.
- W2996524159 hasConceptScore W2996524159C199360897 @default.
- W2996524159 hasConceptScore W2996524159C2777691520 @default.
- W2996524159 hasConceptScore W2996524159C2780069185 @default.
- W2996524159 hasConceptScore W2996524159C30128091 @default.
- W2996524159 hasConceptScore W2996524159C33923547 @default.
- W2996524159 hasConceptScore W2996524159C41008148 @default.
- W2996524159 hasConceptScore W2996524159C48103436 @default.
- W2996524159 hasConceptScore W2996524159C55439883 @default.
- W2996524159 hasConceptScore W2996524159C80444323 @default.
- W2996524159 hasOpenAccess W2996524159 @default.
- W2996524159 hasRelatedWork W1503676575 @default.
- W2996524159 hasRelatedWork W1512894085 @default.
- W2996524159 hasRelatedWork W1531349054 @default.
- W2996524159 hasRelatedWork W1563218161 @default.
- W2996524159 hasRelatedWork W1569239772 @default.
- W2996524159 hasRelatedWork W1591242928 @default.
- W2996524159 hasRelatedWork W1880943343 @default.
- W2996524159 hasRelatedWork W193973472 @default.
- W2996524159 hasRelatedWork W1981587150 @default.
- W2996524159 hasRelatedWork W1986431768 @default.
- W2996524159 hasRelatedWork W1990195251 @default.
- W2996524159 hasRelatedWork W1998618679 @default.
- W2996524159 hasRelatedWork W2061715716 @default.
- W2996524159 hasRelatedWork W2072848753 @default.
- W2996524159 hasRelatedWork W2104422179 @default.
- W2996524159 hasRelatedWork W2548234664 @default.
- W2996524159 hasRelatedWork W2982619999 @default.
- W2996524159 hasRelatedWork W2995075587 @default.
- W2996524159 hasRelatedWork W3016159912 @default.
- W2996524159 hasRelatedWork W801384970 @default.
- W2996524159 isParatext "false" @default.
- W2996524159 isRetracted "false" @default.
- W2996524159 magId "2996524159" @default.
- W2996524159 workType "dissertation" @default.