Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098228012> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2098228012 abstract "The connection between some modularity properties and interpolation is revisited and restated in a general logic-independent framework. The presence of uniform interpolants is shown to assist in certain proof obligations, which suffice to establish the composition of refinements. The absence of the desirable interpolation properties from many logics that have been used in refinement motivates a thorough investigation of methods to expand a specification formalism orthogonally, so that the critical uniform interpolants become available. A potential breakthrough is outlined in this paper." @default.
- W2098228012 created "2016-06-24" @default.
- W2098228012 creator A5018366807 @default.
- W2098228012 creator A5025139066 @default.
- W2098228012 date "2002-11-22" @default.
- W2098228012 modified "2023-09-26" @default.
- W2098228012 title "Notes on refinement, interpolation and uniformity" @default.
- W2098228012 cites W1542403019 @default.
- W2098228012 cites W1572155964 @default.
- W2098228012 cites W1576273408 @default.
- W2098228012 cites W1726442598 @default.
- W2098228012 cites W1847493312 @default.
- W2098228012 cites W1993161560 @default.
- W2098228012 cites W2009919631 @default.
- W2098228012 cites W2016701481 @default.
- W2098228012 cites W2046489718 @default.
- W2098228012 cites W2054344341 @default.
- W2098228012 cites W2055364993 @default.
- W2098228012 cites W2085711600 @default.
- W2098228012 cites W2114633883 @default.
- W2098228012 cites W2127394739 @default.
- W2098228012 cites W2129466151 @default.
- W2098228012 cites W2134338128 @default.
- W2098228012 cites W2148620491 @default.
- W2098228012 cites W2156076209 @default.
- W2098228012 cites W2177760151 @default.
- W2098228012 cites W2293815615 @default.
- W2098228012 cites W3023216518 @default.
- W2098228012 cites W4300128858 @default.
- W2098228012 cites W4300668781 @default.
- W2098228012 doi "https://doi.org/10.1109/ase.1997.632830" @default.
- W2098228012 hasPublicationYear "2002" @default.
- W2098228012 type Work @default.
- W2098228012 sameAs 2098228012 @default.
- W2098228012 citedByCount "5" @default.
- W2098228012 crossrefType "proceedings-article" @default.
- W2098228012 hasAuthorship W2098228012A5018366807 @default.
- W2098228012 hasAuthorship W2098228012A5025139066 @default.
- W2098228012 hasConcept C104114177 @default.
- W2098228012 hasConcept C11413529 @default.
- W2098228012 hasConcept C13355873 @default.
- W2098228012 hasConcept C136119220 @default.
- W2098228012 hasConcept C137800194 @default.
- W2098228012 hasConcept C142362112 @default.
- W2098228012 hasConcept C153349607 @default.
- W2098228012 hasConcept C154945302 @default.
- W2098228012 hasConcept C199360897 @default.
- W2098228012 hasConcept C202444582 @default.
- W2098228012 hasConcept C2524010 @default.
- W2098228012 hasConcept C2779478453 @default.
- W2098228012 hasConcept C33923547 @default.
- W2098228012 hasConcept C41008148 @default.
- W2098228012 hasConcept C54355233 @default.
- W2098228012 hasConcept C558565934 @default.
- W2098228012 hasConcept C73301696 @default.
- W2098228012 hasConcept C80444323 @default.
- W2098228012 hasConcept C86803240 @default.
- W2098228012 hasConceptScore W2098228012C104114177 @default.
- W2098228012 hasConceptScore W2098228012C11413529 @default.
- W2098228012 hasConceptScore W2098228012C13355873 @default.
- W2098228012 hasConceptScore W2098228012C136119220 @default.
- W2098228012 hasConceptScore W2098228012C137800194 @default.
- W2098228012 hasConceptScore W2098228012C142362112 @default.
- W2098228012 hasConceptScore W2098228012C153349607 @default.
- W2098228012 hasConceptScore W2098228012C154945302 @default.
- W2098228012 hasConceptScore W2098228012C199360897 @default.
- W2098228012 hasConceptScore W2098228012C202444582 @default.
- W2098228012 hasConceptScore W2098228012C2524010 @default.
- W2098228012 hasConceptScore W2098228012C2779478453 @default.
- W2098228012 hasConceptScore W2098228012C33923547 @default.
- W2098228012 hasConceptScore W2098228012C41008148 @default.
- W2098228012 hasConceptScore W2098228012C54355233 @default.
- W2098228012 hasConceptScore W2098228012C558565934 @default.
- W2098228012 hasConceptScore W2098228012C73301696 @default.
- W2098228012 hasConceptScore W2098228012C80444323 @default.
- W2098228012 hasConceptScore W2098228012C86803240 @default.
- W2098228012 hasLocation W20982280121 @default.
- W2098228012 hasOpenAccess W2098228012 @default.
- W2098228012 hasPrimaryLocation W20982280121 @default.
- W2098228012 hasRelatedWork W1962114036 @default.
- W2098228012 hasRelatedWork W1965240571 @default.
- W2098228012 hasRelatedWork W2013111119 @default.
- W2098228012 hasRelatedWork W2027184717 @default.
- W2098228012 hasRelatedWork W2067492562 @default.
- W2098228012 hasRelatedWork W2166247150 @default.
- W2098228012 hasRelatedWork W2323035519 @default.
- W2098228012 hasRelatedWork W3188243823 @default.
- W2098228012 hasRelatedWork W4243252198 @default.
- W2098228012 hasRelatedWork W4327724964 @default.
- W2098228012 isParatext "false" @default.
- W2098228012 isRetracted "false" @default.
- W2098228012 magId "2098228012" @default.
- W2098228012 workType "article" @default.