Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023754145> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2023754145 endingPage "411" @default.
- W2023754145 startingPage "389" @default.
- W2023754145 abstract "Temporal weakest precondions are introduced for calculational reasoning about the states encountered during execution of not-necessarily terminating recursive procedures. The formalism can distinguish error from useful nontermination. The precondition functions are constructed in a new and more elegant way. Healthiness laws are discussed briefly. Proof rules are introduced that enable calculational proofs of various safety and progress properties. The construction of the precondition functions is justified in an Appendix that provides the operational semantics." @default.
- W2023754145 created "2016-06-24" @default.
- W2023754145 creator A5022758187 @default.
- W2023754145 date "1995-07-01" @default.
- W2023754145 modified "2023-09-26" @default.
- W2023754145 title "Safety and progress of recursive procedures" @default.
- W2023754145 cites W1511110335 @default.
- W2023754145 cites W1554683232 @default.
- W2023754145 cites W1582275525 @default.
- W2023754145 cites W1983962763 @default.
- W2023754145 cites W2062306963 @default.
- W2023754145 cites W2087713039 @default.
- W2023754145 cites W2092038514 @default.
- W2023754145 cites W2101027003 @default.
- W2023754145 cites W2104624174 @default.
- W2023754145 cites W2156836791 @default.
- W2023754145 cites W4255418790 @default.
- W2023754145 cites W52272913 @default.
- W2023754145 doi "https://doi.org/10.1007/bf01211215" @default.
- W2023754145 hasPublicationYear "1995" @default.
- W2023754145 type Work @default.
- W2023754145 sameAs 2023754145 @default.
- W2023754145 citedByCount "4" @default.
- W2023754145 crossrefType "journal-article" @default.
- W2023754145 hasAuthorship W2023754145A5022758187 @default.
- W2023754145 hasBestOaLocation W20237541452 @default.
- W2023754145 hasConcept C108710211 @default.
- W2023754145 hasConcept C142362112 @default.
- W2023754145 hasConcept C153349607 @default.
- W2023754145 hasConcept C156325763 @default.
- W2023754145 hasConcept C184337299 @default.
- W2023754145 hasConcept C192465680 @default.
- W2023754145 hasConcept C199343813 @default.
- W2023754145 hasConcept C199360897 @default.
- W2023754145 hasConcept C24858836 @default.
- W2023754145 hasConcept C2524010 @default.
- W2023754145 hasConcept C2777686260 @default.
- W2023754145 hasConcept C30128091 @default.
- W2023754145 hasConcept C33923547 @default.
- W2023754145 hasConcept C41008148 @default.
- W2023754145 hasConcept C558565934 @default.
- W2023754145 hasConcept C71924100 @default.
- W2023754145 hasConcept C73301696 @default.
- W2023754145 hasConcept C80444323 @default.
- W2023754145 hasConceptScore W2023754145C108710211 @default.
- W2023754145 hasConceptScore W2023754145C142362112 @default.
- W2023754145 hasConceptScore W2023754145C153349607 @default.
- W2023754145 hasConceptScore W2023754145C156325763 @default.
- W2023754145 hasConceptScore W2023754145C184337299 @default.
- W2023754145 hasConceptScore W2023754145C192465680 @default.
- W2023754145 hasConceptScore W2023754145C199343813 @default.
- W2023754145 hasConceptScore W2023754145C199360897 @default.
- W2023754145 hasConceptScore W2023754145C24858836 @default.
- W2023754145 hasConceptScore W2023754145C2524010 @default.
- W2023754145 hasConceptScore W2023754145C2777686260 @default.
- W2023754145 hasConceptScore W2023754145C30128091 @default.
- W2023754145 hasConceptScore W2023754145C33923547 @default.
- W2023754145 hasConceptScore W2023754145C41008148 @default.
- W2023754145 hasConceptScore W2023754145C558565934 @default.
- W2023754145 hasConceptScore W2023754145C71924100 @default.
- W2023754145 hasConceptScore W2023754145C73301696 @default.
- W2023754145 hasConceptScore W2023754145C80444323 @default.
- W2023754145 hasIssue "4" @default.
- W2023754145 hasLocation W20237541451 @default.
- W2023754145 hasLocation W20237541452 @default.
- W2023754145 hasOpenAccess W2023754145 @default.
- W2023754145 hasPrimaryLocation W20237541451 @default.
- W2023754145 hasRelatedWork W124151435 @default.
- W2023754145 hasRelatedWork W1531437820 @default.
- W2023754145 hasRelatedWork W1855927527 @default.
- W2023754145 hasRelatedWork W1980964984 @default.
- W2023754145 hasRelatedWork W2016535383 @default.
- W2023754145 hasRelatedWork W2023754145 @default.
- W2023754145 hasRelatedWork W2145426968 @default.
- W2023754145 hasRelatedWork W2167301299 @default.
- W2023754145 hasRelatedWork W2536902987 @default.
- W2023754145 hasRelatedWork W2534991041 @default.
- W2023754145 hasVolume "7" @default.
- W2023754145 isParatext "false" @default.
- W2023754145 isRetracted "false" @default.
- W2023754145 magId "2023754145" @default.
- W2023754145 workType "article" @default.