Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078034662> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2078034662 endingPage "201" @default.
- W2078034662 startingPage "177" @default.
- W2078034662 abstract "A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this property to enable type-safe hierarchical procedures, it is necessary to impose a static requirement on procedure calls. We introduce an example language and prove the existence of a sound requirement which preserves static correctness while allowing hierarchical procedures. This requirement is further shown to be optimal , in the sense that it imposes as few restrictions as possible. This establishes the theoretical basis for a general type hierarchy with static type checking, which enables first-order polymorphism combined with multiple inheritance and specialization in a language with assignments. We extend the results to include opaque types. An opaque version of a type is different from the original but has the same values and the same order relations to other types. The opaque types allow a more flexible polymorphism and provide the usual pragmatic advantages of distinguishing between intended and unintended type equalities. Opaque types can be viewed as a compromise between synonym types and abstract types." @default.
- W2078034662 created "2016-06-24" @default.
- W2078034662 creator A5066751232 @default.
- W2078034662 date "1996-03-01" @default.
- W2078034662 modified "2023-09-26" @default.
- W2078034662 title "Static correctness of hierarchical procedures" @default.
- W2078034662 cites W1607033480 @default.
- W2078034662 cites W1842509483 @default.
- W2078034662 cites W1874450173 @default.
- W2078034662 cites W1973576343 @default.
- W2078034662 cites W2023307455 @default.
- W2078034662 cites W2027657506 @default.
- W2078034662 cites W2154294048 @default.
- W2078034662 cites W2295616626 @default.
- W2078034662 doi "https://doi.org/10.1016/0304-3975(95)00086-0" @default.
- W2078034662 hasPublicationYear "1996" @default.
- W2078034662 type Work @default.
- W2078034662 sameAs 2078034662 @default.
- W2078034662 citedByCount "0" @default.
- W2078034662 crossrefType "journal-article" @default.
- W2078034662 hasAuthorship W2078034662A5066751232 @default.
- W2078034662 hasConcept C104317684 @default.
- W2078034662 hasConcept C111472728 @default.
- W2078034662 hasConcept C120665830 @default.
- W2078034662 hasConcept C121332964 @default.
- W2078034662 hasConcept C138885662 @default.
- W2078034662 hasConcept C162324750 @default.
- W2078034662 hasConcept C165696696 @default.
- W2078034662 hasConcept C185592680 @default.
- W2078034662 hasConcept C18903297 @default.
- W2078034662 hasConcept C189950617 @default.
- W2078034662 hasConcept C199360897 @default.
- W2078034662 hasConcept C2777299769 @default.
- W2078034662 hasConcept C2780902518 @default.
- W2078034662 hasConcept C31170391 @default.
- W2078034662 hasConcept C34447519 @default.
- W2078034662 hasConcept C38652104 @default.
- W2078034662 hasConcept C41008148 @default.
- W2078034662 hasConcept C55439883 @default.
- W2078034662 hasConcept C55493867 @default.
- W2078034662 hasConcept C60056205 @default.
- W2078034662 hasConcept C80444323 @default.
- W2078034662 hasConcept C86803240 @default.
- W2078034662 hasConceptScore W2078034662C104317684 @default.
- W2078034662 hasConceptScore W2078034662C111472728 @default.
- W2078034662 hasConceptScore W2078034662C120665830 @default.
- W2078034662 hasConceptScore W2078034662C121332964 @default.
- W2078034662 hasConceptScore W2078034662C138885662 @default.
- W2078034662 hasConceptScore W2078034662C162324750 @default.
- W2078034662 hasConceptScore W2078034662C165696696 @default.
- W2078034662 hasConceptScore W2078034662C185592680 @default.
- W2078034662 hasConceptScore W2078034662C18903297 @default.
- W2078034662 hasConceptScore W2078034662C189950617 @default.
- W2078034662 hasConceptScore W2078034662C199360897 @default.
- W2078034662 hasConceptScore W2078034662C2777299769 @default.
- W2078034662 hasConceptScore W2078034662C2780902518 @default.
- W2078034662 hasConceptScore W2078034662C31170391 @default.
- W2078034662 hasConceptScore W2078034662C34447519 @default.
- W2078034662 hasConceptScore W2078034662C38652104 @default.
- W2078034662 hasConceptScore W2078034662C41008148 @default.
- W2078034662 hasConceptScore W2078034662C55439883 @default.
- W2078034662 hasConceptScore W2078034662C55493867 @default.
- W2078034662 hasConceptScore W2078034662C60056205 @default.
- W2078034662 hasConceptScore W2078034662C80444323 @default.
- W2078034662 hasConceptScore W2078034662C86803240 @default.
- W2078034662 hasIssue "1-2" @default.
- W2078034662 hasLocation W20780346621 @default.
- W2078034662 hasOpenAccess W2078034662 @default.
- W2078034662 hasPrimaryLocation W20780346621 @default.
- W2078034662 hasRelatedWork W1508307375 @default.
- W2078034662 hasRelatedWork W1983767271 @default.
- W2078034662 hasRelatedWork W2023779256 @default.
- W2078034662 hasRelatedWork W2144527617 @default.
- W2078034662 hasRelatedWork W2146066606 @default.
- W2078034662 hasRelatedWork W3092664739 @default.
- W2078034662 hasRelatedWork W3177858206 @default.
- W2078034662 hasRelatedWork W4238823939 @default.
- W2078034662 hasRelatedWork W4301034702 @default.
- W2078034662 hasRelatedWork W2789178056 @default.
- W2078034662 hasVolume "156" @default.
- W2078034662 isParatext "false" @default.
- W2078034662 isRetracted "false" @default.
- W2078034662 magId "2078034662" @default.
- W2078034662 workType "article" @default.