Matches in SemOpenAlex for { <https://semopenalex.org/work/W2168711652> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2168711652 endingPage "172" @default.
- W2168711652 startingPage "155" @default.
- W2168711652 abstract "Parametricity is one of the most effective ways to achieve compositionality and reuse in software development. Parametric specifications have been thoroughly analyzed in the algebraic setting and are by now a standard part of most software development toolkits. However, an effort towards classifying, specifying and refining algorithmic theories, rather than mere datatypes, quickly leads beyond the realm of algebra, and often to full first order theories. We extend the standard semantics of parametric specifications to this more general setting. The familiar semantic characterization of parametricity in the algebraic case is expressed in terms of the free functor, i.e. using the initial models. In the general case, initial models may not exist, and the free functor is not available. Various syntactic, semantic, and abstract definitions of parametricity have been offered, but their exact relationships are often unclear. Using the methods of categorical model theory, we establish the equivalence of two well known, yet so far unrelated, definitions of parametricity, one syntactic, one semantic. Besides providing support for both underlying views, and a way for aligning the systems based on each of them, the offered general analysis and its formalism open several avenues for future research and applications." @default.
- W2168711652 created "2016-06-24" @default.
- W2168711652 creator A5061638693 @default.
- W2168711652 date "1999-01-01" @default.
- W2168711652 modified "2023-09-29" @default.
- W2168711652 title "Semantics of First Order Parametric Specifications" @default.
- W2168711652 cites W1517007512 @default.
- W2168711652 cites W1518444163 @default.
- W2168711652 cites W1541153481 @default.
- W2168711652 cites W1570751719 @default.
- W2168711652 cites W1595870841 @default.
- W2168711652 cites W165737129 @default.
- W2168711652 cites W1969438769 @default.
- W2168711652 cites W1996388638 @default.
- W2168711652 cites W2035625685 @default.
- W2168711652 cites W2041181261 @default.
- W2168711652 cites W2107674601 @default.
- W2168711652 cites W2120713972 @default.
- W2168711652 cites W2162615451 @default.
- W2168711652 cites W2295902379 @default.
- W2168711652 cites W4206381645 @default.
- W2168711652 cites W4239461502 @default.
- W2168711652 cites W4244129601 @default.
- W2168711652 cites W4249733112 @default.
- W2168711652 cites W4255099860 @default.
- W2168711652 cites W195277938 @default.
- W2168711652 doi "https://doi.org/10.1007/3-540-48119-2_11" @default.
- W2168711652 hasPublicationYear "1999" @default.
- W2168711652 type Work @default.
- W2168711652 sameAs 2168711652 @default.
- W2168711652 citedByCount "9" @default.
- W2168711652 countsByYear W21687116522023 @default.
- W2168711652 crossrefType "book-chapter" @default.
- W2168711652 hasAuthorship W2168711652A5061638693 @default.
- W2168711652 hasBestOaLocation W21687116521 @default.
- W2168711652 hasConcept C118615104 @default.
- W2168711652 hasConcept C121375916 @default.
- W2168711652 hasConcept C154945302 @default.
- W2168711652 hasConcept C156772000 @default.
- W2168711652 hasConcept C184337299 @default.
- W2168711652 hasConcept C199360897 @default.
- W2168711652 hasConcept C2780069185 @default.
- W2168711652 hasConcept C33923547 @default.
- W2168711652 hasConcept C41008148 @default.
- W2168711652 hasConcept C80444323 @default.
- W2168711652 hasConceptScore W2168711652C118615104 @default.
- W2168711652 hasConceptScore W2168711652C121375916 @default.
- W2168711652 hasConceptScore W2168711652C154945302 @default.
- W2168711652 hasConceptScore W2168711652C156772000 @default.
- W2168711652 hasConceptScore W2168711652C184337299 @default.
- W2168711652 hasConceptScore W2168711652C199360897 @default.
- W2168711652 hasConceptScore W2168711652C2780069185 @default.
- W2168711652 hasConceptScore W2168711652C33923547 @default.
- W2168711652 hasConceptScore W2168711652C41008148 @default.
- W2168711652 hasConceptScore W2168711652C80444323 @default.
- W2168711652 hasLocation W21687116521 @default.
- W2168711652 hasOpenAccess W2168711652 @default.
- W2168711652 hasPrimaryLocation W21687116521 @default.
- W2168711652 hasRelatedWork W1587224678 @default.
- W2168711652 hasRelatedWork W180941769 @default.
- W2168711652 hasRelatedWork W2112962394 @default.
- W2168711652 hasRelatedWork W2118300983 @default.
- W2168711652 hasRelatedWork W2151619199 @default.
- W2168711652 hasRelatedWork W2227683586 @default.
- W2168711652 hasRelatedWork W3033692085 @default.
- W2168711652 hasRelatedWork W3137189469 @default.
- W2168711652 hasRelatedWork W36507224 @default.
- W2168711652 hasRelatedWork W4243252198 @default.
- W2168711652 isParatext "false" @default.
- W2168711652 isRetracted "false" @default.
- W2168711652 magId "2168711652" @default.
- W2168711652 workType "book-chapter" @default.