Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034373223> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2034373223 endingPage "42" @default.
- W2034373223 startingPage "1" @default.
- W2034373223 abstract "We present a new approach to adding state and state-changing commands to a term language. As a formal semantics it can be seen as a generalization of predicate transformer semantics, but beyond that it brings additional opportunities for specifying and verifying programs. It is based on a construct called a phrase , which is a term of the form C ▹ t , where C stands for a command and t stands for a term of any type. If R is boolean, C ▹ R is closely related to the weakest precondition wp ( C , R ). The new theory draws together functional and imperative programming in a simple way. In particular, imperative procedures and functions are seen to be governed by the same laws as classical functions. We get new techniques for reasoning about programs, including the ability to dispense with logical variables and their attendant complexities. The theory covers both programming and specification languages, and supports unbounded demonic and angelic nondeterminacy in both commands and terms." @default.
- W2034373223 created "2016-06-24" @default.
- W2034373223 creator A5051492865 @default.
- W2034373223 creator A5054781029 @default.
- W2034373223 creator A5057949376 @default.
- W2034373223 date "2009-05-01" @default.
- W2034373223 modified "2023-09-24" @default.
- W2034373223 title "Term transformers" @default.
- W2034373223 cites W1511110335 @default.
- W2034373223 cites W1515169568 @default.
- W2034373223 cites W1528431083 @default.
- W2034373223 cites W1567558468 @default.
- W2034373223 cites W1977975574 @default.
- W2034373223 cites W1999582424 @default.
- W2034373223 cites W2003967246 @default.
- W2034373223 cites W2025812198 @default.
- W2034373223 cites W2030865387 @default.
- W2034373223 cites W2037984920 @default.
- W2034373223 cites W2046213250 @default.
- W2034373223 cites W2055477538 @default.
- W2034373223 cites W2056580623 @default.
- W2034373223 cites W2060004361 @default.
- W2034373223 cites W2065067715 @default.
- W2034373223 cites W2066994855 @default.
- W2034373223 cites W2073708948 @default.
- W2034373223 cites W2074802267 @default.
- W2034373223 cites W2087713039 @default.
- W2034373223 cites W2092276539 @default.
- W2034373223 cites W2102484310 @default.
- W2034373223 cites W2121657617 @default.
- W2034373223 cites W2142524717 @default.
- W2034373223 cites W2151166785 @default.
- W2034373223 cites W2292996153 @default.
- W2034373223 cites W2987907651 @default.
- W2034373223 cites W4239538615 @default.
- W2034373223 doi "https://doi.org/10.1145/1516507.1516511" @default.
- W2034373223 hasPublicationYear "2009" @default.
- W2034373223 type Work @default.
- W2034373223 sameAs 2034373223 @default.
- W2034373223 citedByCount "6" @default.
- W2034373223 countsByYear W20343732232016 @default.
- W2034373223 countsByYear W20343732232019 @default.
- W2034373223 countsByYear W20343732232023 @default.
- W2034373223 crossrefType "journal-article" @default.
- W2034373223 hasAuthorship W2034373223A5051492865 @default.
- W2034373223 hasAuthorship W2034373223A5054781029 @default.
- W2034373223 hasAuthorship W2034373223A5057949376 @default.
- W2034373223 hasBestOaLocation W20343732231 @default.
- W2034373223 hasConcept C121332964 @default.
- W2034373223 hasConcept C128838566 @default.
- W2034373223 hasConcept C140146324 @default.
- W2034373223 hasConcept C154945302 @default.
- W2034373223 hasConcept C156325763 @default.
- W2034373223 hasConcept C184337299 @default.
- W2034373223 hasConcept C192465680 @default.
- W2034373223 hasConcept C199360897 @default.
- W2034373223 hasConcept C2776224158 @default.
- W2034373223 hasConcept C30128091 @default.
- W2034373223 hasConcept C41008148 @default.
- W2034373223 hasConcept C42383842 @default.
- W2034373223 hasConcept C61797465 @default.
- W2034373223 hasConcept C62520636 @default.
- W2034373223 hasConcept C80444323 @default.
- W2034373223 hasConceptScore W2034373223C121332964 @default.
- W2034373223 hasConceptScore W2034373223C128838566 @default.
- W2034373223 hasConceptScore W2034373223C140146324 @default.
- W2034373223 hasConceptScore W2034373223C154945302 @default.
- W2034373223 hasConceptScore W2034373223C156325763 @default.
- W2034373223 hasConceptScore W2034373223C184337299 @default.
- W2034373223 hasConceptScore W2034373223C192465680 @default.
- W2034373223 hasConceptScore W2034373223C199360897 @default.
- W2034373223 hasConceptScore W2034373223C2776224158 @default.
- W2034373223 hasConceptScore W2034373223C30128091 @default.
- W2034373223 hasConceptScore W2034373223C41008148 @default.
- W2034373223 hasConceptScore W2034373223C42383842 @default.
- W2034373223 hasConceptScore W2034373223C61797465 @default.
- W2034373223 hasConceptScore W2034373223C62520636 @default.
- W2034373223 hasConceptScore W2034373223C80444323 @default.
- W2034373223 hasFunder F4320320847 @default.
- W2034373223 hasIssue "4" @default.
- W2034373223 hasLocation W20343732231 @default.
- W2034373223 hasOpenAccess W2034373223 @default.
- W2034373223 hasPrimaryLocation W20343732231 @default.
- W2034373223 hasRelatedWork W124151435 @default.
- W2034373223 hasRelatedWork W1523326720 @default.
- W2034373223 hasRelatedWork W1873258151 @default.
- W2034373223 hasRelatedWork W2034373223 @default.
- W2034373223 hasRelatedWork W2145426968 @default.
- W2034373223 hasRelatedWork W2548234664 @default.
- W2034373223 hasRelatedWork W2944181359 @default.
- W2034373223 hasRelatedWork W33800742 @default.
- W2034373223 hasRelatedWork W1960833838 @default.
- W2034373223 hasRelatedWork W2534991041 @default.
- W2034373223 hasVolume "31" @default.
- W2034373223 isParatext "false" @default.
- W2034373223 isRetracted "false" @default.
- W2034373223 magId "2034373223" @default.
- W2034373223 workType "article" @default.