Matches in SemOpenAlex for { <https://semopenalex.org/work/W76396937> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W76396937 abstract "We investigate the exact status and role of specication variables (auxiliaries) in Hoare triples, showing that their interpretation is not as straightforward as one might intuitively think. In parti- cular, we uncover the connection between specication variables and both angelic and demonic nondeterminism contained in a specication. As a result, we show how specications by means of Hoare triples can be translated (without losing any information) into specication sta- tements in the refinement calculus style and vice versa." @default.
- W76396937 created "2016-06-24" @default.
- W76396937 creator A5013810800 @default.
- W76396937 date "2001-06-06" @default.
- W76396937 modified "2023-09-23" @default.
- W76396937 title "Specification Variables: Between the Angel and the Demon" @default.
- W76396937 hasPublicationYear "2001" @default.
- W76396937 type Work @default.
- W76396937 sameAs 76396937 @default.
- W76396937 citedByCount "1" @default.
- W76396937 crossrefType "journal-article" @default.
- W76396937 hasAuthorship W76396937A5013810800 @default.
- W76396937 hasConcept C104949639 @default.
- W76396937 hasConcept C111472728 @default.
- W76396937 hasConcept C13355873 @default.
- W76396937 hasConcept C136119220 @default.
- W76396937 hasConcept C138885662 @default.
- W76396937 hasConcept C199343813 @default.
- W76396937 hasConcept C199360897 @default.
- W76396937 hasConcept C202444582 @default.
- W76396937 hasConcept C2524010 @default.
- W76396937 hasConcept C2777686260 @default.
- W76396937 hasConcept C2779227343 @default.
- W76396937 hasConcept C33923547 @default.
- W76396937 hasConcept C41008148 @default.
- W76396937 hasConcept C527412718 @default.
- W76396937 hasConcept C55439883 @default.
- W76396937 hasConcept C71924100 @default.
- W76396937 hasConceptScore W76396937C104949639 @default.
- W76396937 hasConceptScore W76396937C111472728 @default.
- W76396937 hasConceptScore W76396937C13355873 @default.
- W76396937 hasConceptScore W76396937C136119220 @default.
- W76396937 hasConceptScore W76396937C138885662 @default.
- W76396937 hasConceptScore W76396937C199343813 @default.
- W76396937 hasConceptScore W76396937C199360897 @default.
- W76396937 hasConceptScore W76396937C202444582 @default.
- W76396937 hasConceptScore W76396937C2524010 @default.
- W76396937 hasConceptScore W76396937C2777686260 @default.
- W76396937 hasConceptScore W76396937C2779227343 @default.
- W76396937 hasConceptScore W76396937C33923547 @default.
- W76396937 hasConceptScore W76396937C41008148 @default.
- W76396937 hasConceptScore W76396937C527412718 @default.
- W76396937 hasConceptScore W76396937C55439883 @default.
- W76396937 hasConceptScore W76396937C71924100 @default.
- W76396937 hasLocation W763969371 @default.
- W76396937 hasOpenAccess W76396937 @default.
- W76396937 hasPrimaryLocation W763969371 @default.
- W76396937 hasRelatedWork W193668645 @default.
- W76396937 hasRelatedWork W2015552920 @default.
- W76396937 hasRelatedWork W2090790829 @default.
- W76396937 hasRelatedWork W2091623384 @default.
- W76396937 hasRelatedWork W2109515438 @default.
- W76396937 hasRelatedWork W2117781657 @default.
- W76396937 hasRelatedWork W2164256202 @default.
- W76396937 hasRelatedWork W2216704661 @default.
- W76396937 hasRelatedWork W2399029393 @default.
- W76396937 hasRelatedWork W253313048 @default.
- W76396937 hasRelatedWork W2565502105 @default.
- W76396937 hasRelatedWork W2660255895 @default.
- W76396937 hasRelatedWork W2741728621 @default.
- W76396937 hasRelatedWork W2772565456 @default.
- W76396937 hasRelatedWork W2810670605 @default.
- W76396937 hasRelatedWork W2897341314 @default.
- W76396937 hasRelatedWork W2899197979 @default.
- W76396937 hasRelatedWork W2963817655 @default.
- W76396937 hasRelatedWork W2969616836 @default.
- W76396937 hasRelatedWork W3142416232 @default.
- W76396937 isParatext "false" @default.
- W76396937 isRetracted "false" @default.
- W76396937 magId "76396937" @default.
- W76396937 workType "article" @default.