Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949066462> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2949066462 abstract "Refinement types turn typechecking into lightweight verification. The classic form of refinement type is the datasort refinement, in which datasorts identify subclasses of inductive datatypes. Existing type systems for datasort refinements require that all the refinements of a type be specified when the type is declared; multiple refinements of the same type can be obtained only by duplicating type definitions, and consequently, duplicating code. We enrich the traditional notion of a signature, which describes the inhabitants of datasorts, to allow re-refinement via signature extension, without duplicating definitions. Since arbitrary updates to a signature can invalidate the inversion principles used to check case expressions, we develop a definition of signature well-formedness that ensures that extensions maintain existing inversion principles. This definition allows different parts of a program to extend the same signature in different ways, without conflicting with each other. Each part can be type-checked independently, allowing separate compilation." @default.
- W2949066462 created "2019-06-27" @default.
- W2949066462 creator A5039589808 @default.
- W2949066462 date "2017-01-11" @default.
- W2949066462 modified "2023-09-27" @default.
- W2949066462 title "Extensible Datasort Refinements" @default.
- W2949066462 hasPublicationYear "2017" @default.
- W2949066462 type Work @default.
- W2949066462 sameAs 2949066462 @default.
- W2949066462 citedByCount "0" @default.
- W2949066462 crossrefType "posted-content" @default.
- W2949066462 hasAuthorship W2949066462A5039589808 @default.
- W2949066462 hasConcept C109007969 @default.
- W2949066462 hasConcept C138958017 @default.
- W2949066462 hasConcept C151730666 @default.
- W2949066462 hasConcept C177264268 @default.
- W2949066462 hasConcept C18903297 @default.
- W2949066462 hasConcept C1893757 @default.
- W2949066462 hasConcept C199360897 @default.
- W2949066462 hasConcept C2524010 @default.
- W2949066462 hasConcept C2776760102 @default.
- W2949066462 hasConcept C2777299769 @default.
- W2949066462 hasConcept C2778029271 @default.
- W2949066462 hasConcept C2779696439 @default.
- W2949066462 hasConcept C32833848 @default.
- W2949066462 hasConcept C33923547 @default.
- W2949066462 hasConcept C41008148 @default.
- W2949066462 hasConcept C80444323 @default.
- W2949066462 hasConcept C86803240 @default.
- W2949066462 hasConceptScore W2949066462C109007969 @default.
- W2949066462 hasConceptScore W2949066462C138958017 @default.
- W2949066462 hasConceptScore W2949066462C151730666 @default.
- W2949066462 hasConceptScore W2949066462C177264268 @default.
- W2949066462 hasConceptScore W2949066462C18903297 @default.
- W2949066462 hasConceptScore W2949066462C1893757 @default.
- W2949066462 hasConceptScore W2949066462C199360897 @default.
- W2949066462 hasConceptScore W2949066462C2524010 @default.
- W2949066462 hasConceptScore W2949066462C2776760102 @default.
- W2949066462 hasConceptScore W2949066462C2777299769 @default.
- W2949066462 hasConceptScore W2949066462C2778029271 @default.
- W2949066462 hasConceptScore W2949066462C2779696439 @default.
- W2949066462 hasConceptScore W2949066462C32833848 @default.
- W2949066462 hasConceptScore W2949066462C33923547 @default.
- W2949066462 hasConceptScore W2949066462C41008148 @default.
- W2949066462 hasConceptScore W2949066462C80444323 @default.
- W2949066462 hasConceptScore W2949066462C86803240 @default.
- W2949066462 hasLocation W29490664621 @default.
- W2949066462 hasOpenAccess W2949066462 @default.
- W2949066462 hasPrimaryLocation W29490664621 @default.
- W2949066462 hasRelatedWork W1581769524 @default.
- W2949066462 hasRelatedWork W1594164162 @default.
- W2949066462 hasRelatedWork W2068555535 @default.
- W2949066462 hasRelatedWork W2075623758 @default.
- W2949066462 hasRelatedWork W2080863863 @default.
- W2949066462 hasRelatedWork W2119587710 @default.
- W2949066462 hasRelatedWork W2142565829 @default.
- W2949066462 hasRelatedWork W2291016780 @default.
- W2949066462 hasRelatedWork W2486239674 @default.
- W2949066462 hasRelatedWork W2551794739 @default.
- W2949066462 hasRelatedWork W2621123341 @default.
- W2949066462 hasRelatedWork W2801204512 @default.
- W2949066462 hasRelatedWork W2949550571 @default.
- W2949066462 hasRelatedWork W2964853020 @default.
- W2949066462 hasRelatedWork W2979520889 @default.
- W2949066462 hasRelatedWork W3006404116 @default.
- W2949066462 hasRelatedWork W3046945753 @default.
- W2949066462 hasRelatedWork W3091824540 @default.
- W2949066462 hasRelatedWork W3150376187 @default.
- W2949066462 hasRelatedWork W127828260 @default.
- W2949066462 isParatext "false" @default.
- W2949066462 isRetracted "false" @default.
- W2949066462 magId "2949066462" @default.
- W2949066462 workType "article" @default.