Matches in SemOpenAlex for { <https://semopenalex.org/work/W1572807984> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1572807984 endingPage "181" @default.
- W1572807984 startingPage "162" @default.
- W1572807984 abstract "A type-theoretic counterpart to the notion of algebraic specification refinement is discussed for abstract data types with higher-order signatures. The type-theoretic setting consists of System F and the logic for parametric polymorphism of Plotkin and Abadi. For first-order signatures, this setting immediately gives a natural notion of specification refinement up to observational equivalence via the notion of simulation relation. Moreover, a proof strategy for proving observational refinements formalised by Bidoit, Hennicker and Wirsing can be soundly imported into the type theory. In lifting these results to the higher-order case, we find it necessary firstly to develop an alternative simulation relation and secondly to extend the parametric PER-model interpretation, both in such a way as to observe data type abstraction barriers more closely." @default.
- W1572807984 created "2016-06-24" @default.
- W1572807984 creator A5072498429 @default.
- W1572807984 date "2000-01-01" @default.
- W1572807984 modified "2023-09-23" @default.
- W1572807984 title "Specification Refinement with System F – The Higher-Order Case" @default.
- W1572807984 cites W1480685649 @default.
- W1572807984 cites W1488646136 @default.
- W1572807984 cites W1502482163 @default.
- W1572807984 cites W1510726078 @default.
- W1572807984 cites W1513579486 @default.
- W1572807984 cites W1519167703 @default.
- W1572807984 cites W1522332586 @default.
- W1572807984 cites W1547491750 @default.
- W1572807984 cites W1583036869 @default.
- W1572807984 cites W1585299317 @default.
- W1572807984 cites W1591284542 @default.
- W1572807984 cites W1605439661 @default.
- W1572807984 cites W1606119104 @default.
- W1572807984 cites W162591592 @default.
- W1572807984 cites W1826736720 @default.
- W1572807984 cites W1980425977 @default.
- W1572807984 cites W1994033778 @default.
- W1572807984 cites W2000825654 @default.
- W1572807984 cites W2008037751 @default.
- W1572807984 cites W2029841602 @default.
- W1572807984 cites W2062871376 @default.
- W1572807984 cites W2104204098 @default.
- W1572807984 cites W2105528288 @default.
- W1572807984 cites W2117721239 @default.
- W1572807984 cites W2122071685 @default.
- W1572807984 cites W2162643525 @default.
- W1572807984 cites W2169449312 @default.
- W1572807984 cites W2295902379 @default.
- W1572807984 cites W2914837968 @default.
- W1572807984 doi "https://doi.org/10.1007/978-3-540-44616-3_10" @default.
- W1572807984 hasPublicationYear "2000" @default.
- W1572807984 type Work @default.
- W1572807984 sameAs 1572807984 @default.
- W1572807984 citedByCount "1" @default.
- W1572807984 crossrefType "book-chapter" @default.
- W1572807984 hasAuthorship W1572807984A5072498429 @default.
- W1572807984 hasConcept C10138342 @default.
- W1572807984 hasConcept C11413529 @default.
- W1572807984 hasConcept C162324750 @default.
- W1572807984 hasConcept C182306322 @default.
- W1572807984 hasConcept C199360897 @default.
- W1572807984 hasConcept C41008148 @default.
- W1572807984 hasConcept C80444323 @default.
- W1572807984 hasConceptScore W1572807984C10138342 @default.
- W1572807984 hasConceptScore W1572807984C11413529 @default.
- W1572807984 hasConceptScore W1572807984C162324750 @default.
- W1572807984 hasConceptScore W1572807984C182306322 @default.
- W1572807984 hasConceptScore W1572807984C199360897 @default.
- W1572807984 hasConceptScore W1572807984C41008148 @default.
- W1572807984 hasConceptScore W1572807984C80444323 @default.
- W1572807984 hasLocation W15728079841 @default.
- W1572807984 hasOpenAccess W1572807984 @default.
- W1572807984 hasPrimaryLocation W15728079841 @default.
- W1572807984 hasRelatedWork W1527862632 @default.
- W1572807984 hasRelatedWork W2109507516 @default.
- W1572807984 hasRelatedWork W2112962394 @default.
- W1572807984 hasRelatedWork W2118300983 @default.
- W1572807984 hasRelatedWork W2135396778 @default.
- W1572807984 hasRelatedWork W2382501300 @default.
- W1572807984 hasRelatedWork W2740990710 @default.
- W1572807984 hasRelatedWork W3137189469 @default.
- W1572807984 hasRelatedWork W4235530921 @default.
- W1572807984 hasRelatedWork W4243252198 @default.
- W1572807984 isParatext "false" @default.
- W1572807984 isRetracted "false" @default.
- W1572807984 magId "1572807984" @default.
- W1572807984 workType "book-chapter" @default.