Matches in SemOpenAlex for { <https://semopenalex.org/work/W2096445092> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2096445092 abstract "We present a generalisation of data refinement in Z, called IO-refinement , that allows changes in input and output parameters of operations. Several informal motivations for the desirability of such a refinement relation are given, followed by a formal derivation that demonstrates its theoretical soundness. It is proved that IO-refinement indeed generalizes data refinement. Several theorems are presented that give sufficient conditions for IO-refinement to hold in simpler situations, e.g. just adding inputs and outputs. Some examples of the use of IO-refinement are also given." @default.
- W2096445092 created "2016-06-24" @default.
- W2096445092 creator A5059470549 @default.
- W2096445092 creator A5060549428 @default.
- W2096445092 date "1998-01-01" @default.
- W2096445092 modified "2023-09-25" @default.
- W2096445092 title "IO-refinement in Z" @default.
- W2096445092 cites W141730928 @default.
- W2096445092 cites W1481411992 @default.
- W2096445092 cites W1490392516 @default.
- W2096445092 cites W1510119905 @default.
- W2096445092 cites W1532627295 @default.
- W2096445092 cites W1559870885 @default.
- W2096445092 cites W1581884822 @default.
- W2096445092 cites W1588335385 @default.
- W2096445092 cites W1898524132 @default.
- W2096445092 cites W2059178770 @default.
- W2096445092 cites W2086359275 @default.
- W2096445092 cites W2117879955 @default.
- W2096445092 cites W2144973245 @default.
- W2096445092 cites W2502585260 @default.
- W2096445092 cites W44333732 @default.
- W2096445092 doi "https://doi.org/10.14236/ewic/nfm1998.3" @default.
- W2096445092 hasPublicationYear "1998" @default.
- W2096445092 type Work @default.
- W2096445092 sameAs 2096445092 @default.
- W2096445092 citedByCount "16" @default.
- W2096445092 countsByYear W20964450922013 @default.
- W2096445092 countsByYear W20964450922014 @default.
- W2096445092 crossrefType "proceedings-article" @default.
- W2096445092 hasAuthorship W2096445092A5059470549 @default.
- W2096445092 hasAuthorship W2096445092A5060549428 @default.
- W2096445092 hasBestOaLocation W20964450921 @default.
- W2096445092 hasConcept C111498074 @default.
- W2096445092 hasConcept C11413529 @default.
- W2096445092 hasConcept C124101348 @default.
- W2096445092 hasConcept C136119220 @default.
- W2096445092 hasConcept C14331664 @default.
- W2096445092 hasConcept C199360897 @default.
- W2096445092 hasConcept C202444582 @default.
- W2096445092 hasConcept C25343380 @default.
- W2096445092 hasConcept C33923547 @default.
- W2096445092 hasConcept C39920170 @default.
- W2096445092 hasConcept C41008148 @default.
- W2096445092 hasConcept C80444323 @default.
- W2096445092 hasConcept C90483712 @default.
- W2096445092 hasConceptScore W2096445092C111498074 @default.
- W2096445092 hasConceptScore W2096445092C11413529 @default.
- W2096445092 hasConceptScore W2096445092C124101348 @default.
- W2096445092 hasConceptScore W2096445092C136119220 @default.
- W2096445092 hasConceptScore W2096445092C14331664 @default.
- W2096445092 hasConceptScore W2096445092C199360897 @default.
- W2096445092 hasConceptScore W2096445092C202444582 @default.
- W2096445092 hasConceptScore W2096445092C25343380 @default.
- W2096445092 hasConceptScore W2096445092C33923547 @default.
- W2096445092 hasConceptScore W2096445092C39920170 @default.
- W2096445092 hasConceptScore W2096445092C41008148 @default.
- W2096445092 hasConceptScore W2096445092C80444323 @default.
- W2096445092 hasConceptScore W2096445092C90483712 @default.
- W2096445092 hasLocation W20964450921 @default.
- W2096445092 hasOpenAccess W2096445092 @default.
- W2096445092 hasPrimaryLocation W20964450921 @default.
- W2096445092 hasRelatedWork W109180904 @default.
- W2096445092 hasRelatedWork W1497695679 @default.
- W2096445092 hasRelatedWork W1823684783 @default.
- W2096445092 hasRelatedWork W1976490079 @default.
- W2096445092 hasRelatedWork W2096445092 @default.
- W2096445092 hasRelatedWork W2112031719 @default.
- W2096445092 hasRelatedWork W2162611322 @default.
- W2096445092 hasRelatedWork W4237428255 @default.
- W2096445092 hasRelatedWork W950248874 @default.
- W2096445092 hasRelatedWork W2117238704 @default.
- W2096445092 isParatext "false" @default.
- W2096445092 isRetracted "false" @default.
- W2096445092 magId "2096445092" @default.
- W2096445092 workType "article" @default.