Matches in SemOpenAlex for { <https://semopenalex.org/work/W2037100211> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2037100211 endingPage "257" @default.
- W2037100211 startingPage "239" @default.
- W2037100211 abstract "In this paper we present a semantic embedding of Hoare and He's Unifying Theories of Programming (UTP) framework into the ProofPower-Z theorem prover; it concisely captures the notion of UTP theory, theory instantiation, and, additionally, type restrictions on the alphabet. We show how the encoding can be used to reason about UTP theories and their predicates, including models of particular specifications and programs. We support encoding and reasoning about combinations of elements of collections of theory instantiations, as typically found in UTP models of particular specifications and programs." @default.
- W2037100211 created "2016-06-24" @default.
- W2037100211 creator A5073408099 @default.
- W2037100211 creator A5082109015 @default.
- W2037100211 date "2009-07-01" @default.
- W2037100211 modified "2023-09-28" @default.
- W2037100211 title "Mechanical Reasoning about Families of UTP Theories" @default.
- W2037100211 cites W1763481740 @default.
- W2037100211 cites W1966922526 @default.
- W2037100211 cites W2006006495 @default.
- W2037100211 cites W2068082871 @default.
- W2037100211 cites W2077325003 @default.
- W2037100211 cites W2110268155 @default.
- W2037100211 cites W4250541354 @default.
- W2037100211 doi "https://doi.org/10.1016/j.entcs.2009.05.055" @default.
- W2037100211 hasPublicationYear "2009" @default.
- W2037100211 type Work @default.
- W2037100211 sameAs 2037100211 @default.
- W2037100211 citedByCount "7" @default.
- W2037100211 countsByYear W20371002112012 @default.
- W2037100211 countsByYear W20371002112015 @default.
- W2037100211 countsByYear W20371002112017 @default.
- W2037100211 crossrefType "journal-article" @default.
- W2037100211 hasAuthorship W2037100211A5073408099 @default.
- W2037100211 hasAuthorship W2037100211A5082109015 @default.
- W2037100211 hasBestOaLocation W20371002111 @default.
- W2037100211 hasConcept C111472728 @default.
- W2037100211 hasConcept C136119220 @default.
- W2037100211 hasConcept C138885662 @default.
- W2037100211 hasConcept C154945302 @default.
- W2037100211 hasConcept C15744967 @default.
- W2037100211 hasConcept C188147891 @default.
- W2037100211 hasConcept C199343813 @default.
- W2037100211 hasConcept C202444582 @default.
- W2037100211 hasConcept C2777686260 @default.
- W2037100211 hasConcept C33923547 @default.
- W2037100211 hasConcept C41008148 @default.
- W2037100211 hasConcept C71924100 @default.
- W2037100211 hasConcept C97364631 @default.
- W2037100211 hasConceptScore W2037100211C111472728 @default.
- W2037100211 hasConceptScore W2037100211C136119220 @default.
- W2037100211 hasConceptScore W2037100211C138885662 @default.
- W2037100211 hasConceptScore W2037100211C154945302 @default.
- W2037100211 hasConceptScore W2037100211C15744967 @default.
- W2037100211 hasConceptScore W2037100211C188147891 @default.
- W2037100211 hasConceptScore W2037100211C199343813 @default.
- W2037100211 hasConceptScore W2037100211C202444582 @default.
- W2037100211 hasConceptScore W2037100211C2777686260 @default.
- W2037100211 hasConceptScore W2037100211C33923547 @default.
- W2037100211 hasConceptScore W2037100211C41008148 @default.
- W2037100211 hasConceptScore W2037100211C71924100 @default.
- W2037100211 hasConceptScore W2037100211C97364631 @default.
- W2037100211 hasLocation W20371002111 @default.
- W2037100211 hasOpenAccess W2037100211 @default.
- W2037100211 hasPrimaryLocation W20371002111 @default.
- W2037100211 hasRelatedWork W1987949650 @default.
- W2037100211 hasRelatedWork W2045490848 @default.
- W2037100211 hasRelatedWork W2063488590 @default.
- W2037100211 hasRelatedWork W2090649758 @default.
- W2037100211 hasRelatedWork W2332694326 @default.
- W2037100211 hasRelatedWork W2748952813 @default.
- W2037100211 hasRelatedWork W2899084033 @default.
- W2037100211 hasRelatedWork W2963070987 @default.
- W2037100211 hasRelatedWork W3046926816 @default.
- W2037100211 hasRelatedWork W4230623537 @default.
- W2037100211 hasVolume "240" @default.
- W2037100211 isParatext "false" @default.
- W2037100211 isRetracted "false" @default.
- W2037100211 magId "2037100211" @default.
- W2037100211 workType "article" @default.