Matches in SemOpenAlex for { <https://semopenalex.org/work/W101014555> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W101014555 endingPage "451" @default.
- W101014555 startingPage "440" @default.
- W101014555 abstract "This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard operations that the state monad supports, such as return and bind. By exploiting the monadic structure of such programs during the verification process, it becomes easier to prove that they satisfy their specification." @default.
- W101014555 created "2016-06-24" @default.
- W101014555 creator A5019085361 @default.
- W101014555 date "2009-01-01" @default.
- W101014555 modified "2023-10-17" @default.
- W101014555 title "A Hoare Logic for the State Monad" @default.
- W101014555 cites W1496429054 @default.
- W101014555 cites W1520395147 @default.
- W101014555 cites W1573822344 @default.
- W101014555 cites W2037984920 @default.
- W101014555 cites W2109772966 @default.
- W101014555 cites W2146530476 @default.
- W101014555 cites W2987907651 @default.
- W101014555 cites W4245524452 @default.
- W101014555 cites W4251912342 @default.
- W101014555 doi "https://doi.org/10.1007/978-3-642-03359-9_30" @default.
- W101014555 hasPublicationYear "2009" @default.
- W101014555 type Work @default.
- W101014555 sameAs 101014555 @default.
- W101014555 citedByCount "31" @default.
- W101014555 countsByYear W1010145552012 @default.
- W101014555 countsByYear W1010145552013 @default.
- W101014555 countsByYear W1010145552014 @default.
- W101014555 countsByYear W1010145552015 @default.
- W101014555 countsByYear W1010145552016 @default.
- W101014555 countsByYear W1010145552017 @default.
- W101014555 countsByYear W1010145552018 @default.
- W101014555 countsByYear W1010145552019 @default.
- W101014555 countsByYear W1010145552020 @default.
- W101014555 countsByYear W1010145552021 @default.
- W101014555 countsByYear W1010145552022 @default.
- W101014555 crossrefType "book-chapter" @default.
- W101014555 hasAuthorship W101014555A5019085361 @default.
- W101014555 hasConcept C104949639 @default.
- W101014555 hasConcept C118615104 @default.
- W101014555 hasConcept C138885662 @default.
- W101014555 hasConcept C156772000 @default.
- W101014555 hasConcept C199360897 @default.
- W101014555 hasConcept C27206212 @default.
- W101014555 hasConcept C2779251273 @default.
- W101014555 hasConcept C2780624054 @default.
- W101014555 hasConcept C33923547 @default.
- W101014555 hasConcept C33959348 @default.
- W101014555 hasConcept C41008148 @default.
- W101014555 hasConcept C42383842 @default.
- W101014555 hasConcept C48103436 @default.
- W101014555 hasConcept C55439883 @default.
- W101014555 hasConcept C80444323 @default.
- W101014555 hasConcept C98045186 @default.
- W101014555 hasConceptScore W101014555C104949639 @default.
- W101014555 hasConceptScore W101014555C118615104 @default.
- W101014555 hasConceptScore W101014555C138885662 @default.
- W101014555 hasConceptScore W101014555C156772000 @default.
- W101014555 hasConceptScore W101014555C199360897 @default.
- W101014555 hasConceptScore W101014555C27206212 @default.
- W101014555 hasConceptScore W101014555C2779251273 @default.
- W101014555 hasConceptScore W101014555C2780624054 @default.
- W101014555 hasConceptScore W101014555C33923547 @default.
- W101014555 hasConceptScore W101014555C33959348 @default.
- W101014555 hasConceptScore W101014555C41008148 @default.
- W101014555 hasConceptScore W101014555C42383842 @default.
- W101014555 hasConceptScore W101014555C48103436 @default.
- W101014555 hasConceptScore W101014555C55439883 @default.
- W101014555 hasConceptScore W101014555C80444323 @default.
- W101014555 hasConceptScore W101014555C98045186 @default.
- W101014555 hasLocation W1010145551 @default.
- W101014555 hasOpenAccess W101014555 @default.
- W101014555 hasPrimaryLocation W1010145551 @default.
- W101014555 hasRelatedWork W1504459189 @default.
- W101014555 hasRelatedWork W1531349054 @default.
- W101014555 hasRelatedWork W1533419251 @default.
- W101014555 hasRelatedWork W154014553 @default.
- W101014555 hasRelatedWork W1601811574 @default.
- W101014555 hasRelatedWork W2099741881 @default.
- W101014555 hasRelatedWork W2406651324 @default.
- W101014555 hasRelatedWork W2547899303 @default.
- W101014555 hasRelatedWork W2913635267 @default.
- W101014555 hasRelatedWork W4255783807 @default.
- W101014555 isParatext "false" @default.
- W101014555 isRetracted "false" @default.
- W101014555 magId "101014555" @default.
- W101014555 workType "book-chapter" @default.