Matches in SemOpenAlex for { <https://semopenalex.org/work/W2158870029> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2158870029 endingPage "459" @default.
- W2158870029 startingPage "451" @default.
- W2158870029 abstract "The formal development of implementations from specifications requires that we should be able to justify the replacement of definitions which are clear but inefficient by those which are efficient but unclear. We look at ways to provide such justifications, and see that they depend on the form of the definitions and the ways in which we propose to exploit them. We develop conditions which are feasible to establish and meet the needs of the most common situations, and provide pointers to related work in this area. Some familiarity with set theory will help with the formal definitions, although these can be skipped without loss of continuity." @default.
- W2158870029 created "2016-06-24" @default.
- W2158870029 creator A5056136296 @default.
- W2158870029 date "1992-10-01" @default.
- W2158870029 modified "2023-09-27" @default.
- W2158870029 title "The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal" @default.
- W2158870029 cites W1525385721 @default.
- W2158870029 cites W1543545626 @default.
- W2158870029 cites W1549434492 @default.
- W2158870029 cites W1574120008 @default.
- W2158870029 cites W1603788080 @default.
- W2158870029 cites W165737129 @default.
- W2158870029 cites W1825064969 @default.
- W2158870029 cites W1966748830 @default.
- W2158870029 cites W1970495662 @default.
- W2158870029 cites W1970554275 @default.
- W2158870029 cites W1989177109 @default.
- W2158870029 cites W2000825654 @default.
- W2158870029 cites W2055364993 @default.
- W2158870029 cites W2080441874 @default.
- W2158870029 cites W2095035996 @default.
- W2158870029 cites W2110050316 @default.
- W2158870029 cites W2114397663 @default.
- W2158870029 cites W2124873137 @default.
- W2158870029 cites W2132459858 @default.
- W2158870029 cites W2162844904 @default.
- W2158870029 cites W2795274120 @default.
- W2158870029 cites W3127823229 @default.
- W2158870029 cites W3148632215 @default.
- W2158870029 cites W1905573436 @default.
- W2158870029 doi "https://doi.org/10.1093/comjnl/35.5.451" @default.
- W2158870029 hasPublicationYear "1992" @default.
- W2158870029 type Work @default.
- W2158870029 sameAs 2158870029 @default.
- W2158870029 citedByCount "2" @default.
- W2158870029 crossrefType "journal-article" @default.
- W2158870029 hasAuthorship W2158870029A5056136296 @default.
- W2158870029 hasBestOaLocation W21588700292 @default.
- W2158870029 hasConcept C115903868 @default.
- W2158870029 hasConcept C165696696 @default.
- W2158870029 hasConcept C177264268 @default.
- W2158870029 hasConcept C17744445 @default.
- W2158870029 hasConcept C199360897 @default.
- W2158870029 hasConcept C199539241 @default.
- W2158870029 hasConcept C201377581 @default.
- W2158870029 hasConcept C26713055 @default.
- W2158870029 hasConcept C38652104 @default.
- W2158870029 hasConcept C41008148 @default.
- W2158870029 hasConcept C80444323 @default.
- W2158870029 hasConcept C94625758 @default.
- W2158870029 hasConceptScore W2158870029C115903868 @default.
- W2158870029 hasConceptScore W2158870029C165696696 @default.
- W2158870029 hasConceptScore W2158870029C177264268 @default.
- W2158870029 hasConceptScore W2158870029C17744445 @default.
- W2158870029 hasConceptScore W2158870029C199360897 @default.
- W2158870029 hasConceptScore W2158870029C199539241 @default.
- W2158870029 hasConceptScore W2158870029C201377581 @default.
- W2158870029 hasConceptScore W2158870029C26713055 @default.
- W2158870029 hasConceptScore W2158870029C38652104 @default.
- W2158870029 hasConceptScore W2158870029C41008148 @default.
- W2158870029 hasConceptScore W2158870029C80444323 @default.
- W2158870029 hasConceptScore W2158870029C94625758 @default.
- W2158870029 hasIssue "5" @default.
- W2158870029 hasLocation W21588700291 @default.
- W2158870029 hasLocation W21588700292 @default.
- W2158870029 hasOpenAccess W2158870029 @default.
- W2158870029 hasPrimaryLocation W21588700291 @default.
- W2158870029 hasRelatedWork W1504651774 @default.
- W2158870029 hasRelatedWork W1554764448 @default.
- W2158870029 hasRelatedWork W1565501066 @default.
- W2158870029 hasRelatedWork W1984757784 @default.
- W2158870029 hasRelatedWork W2083338789 @default.
- W2158870029 hasRelatedWork W2090686886 @default.
- W2158870029 hasRelatedWork W2158757796 @default.
- W2158870029 hasRelatedWork W2621726323 @default.
- W2158870029 hasRelatedWork W2748872428 @default.
- W2158870029 hasRelatedWork W2808750505 @default.
- W2158870029 hasVolume "35" @default.
- W2158870029 isParatext "false" @default.
- W2158870029 isRetracted "false" @default.
- W2158870029 magId "2158870029" @default.
- W2158870029 workType "article" @default.