Matches in SemOpenAlex for { <https://semopenalex.org/work/W2125417924> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2125417924 endingPage "636" @default.
- W2125417924 startingPage "616" @default.
- W2125417924 abstract "Abstract. The weakest precondition semantics of recursive procedures with local variables are developed for an imperative language with demonic and angelic operators for unbounded nondeterminate choice. This does not require stacking of local variables. The formalism serves as a foundation for a proof rule for total correctness of (mutually) recursive procedures with local variables. This rule is illustrated by a simple example. Its soundness is proved for arbitrary well-founded variant functions." @default.
- W2125417924 created "2016-06-24" @default.
- W2125417924 creator A5022758187 @default.
- W2125417924 date "1999-12-01" @default.
- W2125417924 modified "2023-10-14" @default.
- W2125417924 title "Predicate Transformers for Recursive Procedures with Local Variables" @default.
- W2125417924 cites W1511110335 @default.
- W2125417924 cites W1582275525 @default.
- W2125417924 cites W2025812198 @default.
- W2125417924 cites W2030865387 @default.
- W2125417924 cites W2037201635 @default.
- W2125417924 cites W2062306963 @default.
- W2125417924 cites W2065067715 @default.
- W2125417924 cites W2072413276 @default.
- W2125417924 cites W2092038514 @default.
- W2125417924 cites W2130404229 @default.
- W2125417924 cites W4241108585 @default.
- W2125417924 cites W4255418790 @default.
- W2125417924 doi "https://doi.org/10.1007/s001659970002" @default.
- W2125417924 hasPublicationYear "1999" @default.
- W2125417924 type Work @default.
- W2125417924 sameAs 2125417924 @default.
- W2125417924 citedByCount "7" @default.
- W2125417924 crossrefType "journal-article" @default.
- W2125417924 hasAuthorship W2125417924A5022758187 @default.
- W2125417924 hasBestOaLocation W21254179241 @default.
- W2125417924 hasConcept C11413529 @default.
- W2125417924 hasConcept C140146324 @default.
- W2125417924 hasConcept C142362112 @default.
- W2125417924 hasConcept C153349607 @default.
- W2125417924 hasConcept C156325763 @default.
- W2125417924 hasConcept C184337299 @default.
- W2125417924 hasConcept C192465680 @default.
- W2125417924 hasConcept C199343813 @default.
- W2125417924 hasConcept C199360897 @default.
- W2125417924 hasConcept C24858836 @default.
- W2125417924 hasConcept C2777686260 @default.
- W2125417924 hasConcept C30128091 @default.
- W2125417924 hasConcept C33923547 @default.
- W2125417924 hasConcept C39920170 @default.
- W2125417924 hasConcept C41008148 @default.
- W2125417924 hasConcept C55439883 @default.
- W2125417924 hasConcept C558565934 @default.
- W2125417924 hasConcept C71924100 @default.
- W2125417924 hasConcept C73301696 @default.
- W2125417924 hasConcept C80444323 @default.
- W2125417924 hasConceptScore W2125417924C11413529 @default.
- W2125417924 hasConceptScore W2125417924C140146324 @default.
- W2125417924 hasConceptScore W2125417924C142362112 @default.
- W2125417924 hasConceptScore W2125417924C153349607 @default.
- W2125417924 hasConceptScore W2125417924C156325763 @default.
- W2125417924 hasConceptScore W2125417924C184337299 @default.
- W2125417924 hasConceptScore W2125417924C192465680 @default.
- W2125417924 hasConceptScore W2125417924C199343813 @default.
- W2125417924 hasConceptScore W2125417924C199360897 @default.
- W2125417924 hasConceptScore W2125417924C24858836 @default.
- W2125417924 hasConceptScore W2125417924C2777686260 @default.
- W2125417924 hasConceptScore W2125417924C30128091 @default.
- W2125417924 hasConceptScore W2125417924C33923547 @default.
- W2125417924 hasConceptScore W2125417924C39920170 @default.
- W2125417924 hasConceptScore W2125417924C41008148 @default.
- W2125417924 hasConceptScore W2125417924C55439883 @default.
- W2125417924 hasConceptScore W2125417924C558565934 @default.
- W2125417924 hasConceptScore W2125417924C71924100 @default.
- W2125417924 hasConceptScore W2125417924C73301696 @default.
- W2125417924 hasConceptScore W2125417924C80444323 @default.
- W2125417924 hasIssue "6" @default.
- W2125417924 hasLocation W21254179241 @default.
- W2125417924 hasLocation W21254179242 @default.
- W2125417924 hasOpenAccess W2125417924 @default.
- W2125417924 hasPrimaryLocation W21254179241 @default.
- W2125417924 hasRelatedWork W1605128268 @default.
- W2125417924 hasRelatedWork W1980964984 @default.
- W2125417924 hasRelatedWork W1986996553 @default.
- W2125417924 hasRelatedWork W2023754145 @default.
- W2125417924 hasRelatedWork W2050115485 @default.
- W2125417924 hasRelatedWork W2054383207 @default.
- W2125417924 hasRelatedWork W2114366801 @default.
- W2125417924 hasRelatedWork W2125417924 @default.
- W2125417924 hasRelatedWork W2167301299 @default.
- W2125417924 hasRelatedWork W33800742 @default.
- W2125417924 hasVolume "11" @default.
- W2125417924 isParatext "false" @default.
- W2125417924 isRetracted "false" @default.
- W2125417924 magId "2125417924" @default.
- W2125417924 workType "article" @default.