Matches in SemOpenAlex for { <https://semopenalex.org/work/W9409120> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W9409120 endingPage "22" @default.
- W9409120 startingPage "1" @default.
- W9409120 abstract "In previous work, based on an original idea due to Saaltink, we proposed a unifying theory of undefined expressions in logics used for formally specifying software systems. In our current paper, we instantiate these ideas in Hoare and He’s Unifying Theories of Programming, with each different treatment of undefinedness formalized as a UTP theory. In this setting, we show how to use classical logic to prove facts in a monotonic partial logic with guards, and we describe the guards for several different UTP theories. We show how classical logic can be used to prove semi-classical facts. We apply these ideas to the COMPASS Modelling Language (CML), which is an integration of VDM and CSP in the Circus tradition. We link CML, which uses McCarthy’s left-to-right expression evaluation, and to VDM, which uses Jones’s three-valued Logic of Partial Functions." @default.
- W9409120 created "2016-06-24" @default.
- W9409120 creator A5006626759 @default.
- W9409120 creator A5080540091 @default.
- W9409120 date "2013-01-01" @default.
- W9409120 modified "2023-09-24" @default.
- W9409120 title "Unifying Theories of Undefinedness in UTP" @default.
- W9409120 cites W1673390270 @default.
- W9409120 cites W1986497773 @default.
- W9409120 cites W2050715636 @default.
- W9409120 cites W2072581875 @default.
- W9409120 cites W2109246080 @default.
- W9409120 cites W2127534883 @default.
- W9409120 cites W3160698033 @default.
- W9409120 cites W4256124958 @default.
- W9409120 cites W575459538 @default.
- W9409120 doi "https://doi.org/10.1007/978-3-642-35705-3_1" @default.
- W9409120 hasPublicationYear "2013" @default.
- W9409120 type Work @default.
- W9409120 sameAs 9409120 @default.
- W9409120 citedByCount "4" @default.
- W9409120 countsByYear W94091202013 @default.
- W9409120 countsByYear W94091202014 @default.
- W9409120 countsByYear W94091202016 @default.
- W9409120 countsByYear W94091202017 @default.
- W9409120 crossrefType "book-chapter" @default.
- W9409120 hasAuthorship W9409120A5006626759 @default.
- W9409120 hasAuthorship W9409120A5080540091 @default.
- W9409120 hasBestOaLocation W94091202 @default.
- W9409120 hasConcept C108710211 @default.
- W9409120 hasConcept C128838566 @default.
- W9409120 hasConcept C134306372 @default.
- W9409120 hasConcept C136119220 @default.
- W9409120 hasConcept C199360897 @default.
- W9409120 hasConcept C202444582 @default.
- W9409120 hasConcept C2318724 @default.
- W9409120 hasConcept C2524010 @default.
- W9409120 hasConcept C32241873 @default.
- W9409120 hasConcept C33923547 @default.
- W9409120 hasConcept C41008148 @default.
- W9409120 hasConcept C72169020 @default.
- W9409120 hasConcept C80444323 @default.
- W9409120 hasConceptScore W9409120C108710211 @default.
- W9409120 hasConceptScore W9409120C128838566 @default.
- W9409120 hasConceptScore W9409120C134306372 @default.
- W9409120 hasConceptScore W9409120C136119220 @default.
- W9409120 hasConceptScore W9409120C199360897 @default.
- W9409120 hasConceptScore W9409120C202444582 @default.
- W9409120 hasConceptScore W9409120C2318724 @default.
- W9409120 hasConceptScore W9409120C2524010 @default.
- W9409120 hasConceptScore W9409120C32241873 @default.
- W9409120 hasConceptScore W9409120C33923547 @default.
- W9409120 hasConceptScore W9409120C41008148 @default.
- W9409120 hasConceptScore W9409120C72169020 @default.
- W9409120 hasConceptScore W9409120C80444323 @default.
- W9409120 hasLocation W94091201 @default.
- W9409120 hasLocation W94091202 @default.
- W9409120 hasOpenAccess W9409120 @default.
- W9409120 hasPrimaryLocation W94091201 @default.
- W9409120 hasRelatedWork W101433687 @default.
- W9409120 hasRelatedWork W1561887235 @default.
- W9409120 hasRelatedWork W1572130846 @default.
- W9409120 hasRelatedWork W1897081024 @default.
- W9409120 hasRelatedWork W1981961379 @default.
- W9409120 hasRelatedWork W1983240156 @default.
- W9409120 hasRelatedWork W2001469185 @default.
- W9409120 hasRelatedWork W2015274054 @default.
- W9409120 hasRelatedWork W2017418014 @default.
- W9409120 hasRelatedWork W2046048646 @default.
- W9409120 hasRelatedWork W2153079347 @default.
- W9409120 hasRelatedWork W2402142462 @default.
- W9409120 hasRelatedWork W2553959513 @default.
- W9409120 hasRelatedWork W2557427538 @default.
- W9409120 hasRelatedWork W2611436690 @default.
- W9409120 hasRelatedWork W2952468129 @default.
- W9409120 hasRelatedWork W3081776191 @default.
- W9409120 hasRelatedWork W3098537093 @default.
- W9409120 hasRelatedWork W60282478 @default.
- W9409120 hasRelatedWork W61627962 @default.
- W9409120 isParatext "false" @default.
- W9409120 isRetracted "false" @default.
- W9409120 magId "9409120" @default.
- W9409120 workType "book-chapter" @default.