Matches in SemOpenAlex for { <https://semopenalex.org/work/W1601864450> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1601864450 endingPage "315" @default.
- W1601864450 startingPage "297" @default.
- W1601864450 abstract "This paper presents an object-oriented data model which supports all the essential features found in existing object-oriented data models. More importantly, it simultaneously supports multiple inheritance, method overloading together with static type checking. The model differs from other models in that less restrictions are imposed on defining overloaded methods; also better matching is provided at run-time between actual arguments and overloaded methods. Specifying the model in Z helps to overcome the ambiguity problems found in less formal approaches. Besides, one can reason about the properties of the model. The specification demonstrates the use of Z as a formal technique in an area where such a definition is greatly needed." @default.
- W1601864450 created "2016-06-24" @default.
- W1601864450 creator A5033513962 @default.
- W1601864450 creator A5047010988 @default.
- W1601864450 date "1994-01-01" @default.
- W1601864450 modified "2023-09-27" @default.
- W1601864450 title "An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z" @default.
- W1601864450 cites W1002246843 @default.
- W1601864450 cites W127390856 @default.
- W1601864450 cites W1502835030 @default.
- W1601864450 cites W1539490818 @default.
- W1601864450 cites W1539600352 @default.
- W1601864450 cites W1579555714 @default.
- W1601864450 cites W192407326 @default.
- W1601864450 cites W1985464228 @default.
- W1601864450 cites W2041042883 @default.
- W1601864450 cites W2068606617 @default.
- W1601864450 cites W2087378207 @default.
- W1601864450 cites W2108222707 @default.
- W1601864450 cites W2144015080 @default.
- W1601864450 cites W2154990691 @default.
- W1601864450 cites W2686043342 @default.
- W1601864450 cites W4250301243 @default.
- W1601864450 doi "https://doi.org/10.1007/978-1-4471-3452-7_18" @default.
- W1601864450 hasPublicationYear "1994" @default.
- W1601864450 type Work @default.
- W1601864450 sameAs 1601864450 @default.
- W1601864450 citedByCount "7" @default.
- W1601864450 countsByYear W16018644502020 @default.
- W1601864450 crossrefType "book-chapter" @default.
- W1601864450 hasAuthorship W1601864450A5033513962 @default.
- W1601864450 hasAuthorship W1601864450A5047010988 @default.
- W1601864450 hasConcept C104317684 @default.
- W1601864450 hasConcept C105795698 @default.
- W1601864450 hasConcept C110251889 @default.
- W1601864450 hasConcept C138958017 @default.
- W1601864450 hasConcept C154945302 @default.
- W1601864450 hasConcept C165064840 @default.
- W1601864450 hasConcept C175971053 @default.
- W1601864450 hasConcept C185592680 @default.
- W1601864450 hasConcept C199360897 @default.
- W1601864450 hasConcept C2780522230 @default.
- W1601864450 hasConcept C2780902518 @default.
- W1601864450 hasConcept C2781238097 @default.
- W1601864450 hasConcept C33923547 @default.
- W1601864450 hasConcept C41008148 @default.
- W1601864450 hasConcept C55493867 @default.
- W1601864450 hasConcept C73752529 @default.
- W1601864450 hasConcept C80444323 @default.
- W1601864450 hasConceptScore W1601864450C104317684 @default.
- W1601864450 hasConceptScore W1601864450C105795698 @default.
- W1601864450 hasConceptScore W1601864450C110251889 @default.
- W1601864450 hasConceptScore W1601864450C138958017 @default.
- W1601864450 hasConceptScore W1601864450C154945302 @default.
- W1601864450 hasConceptScore W1601864450C165064840 @default.
- W1601864450 hasConceptScore W1601864450C175971053 @default.
- W1601864450 hasConceptScore W1601864450C185592680 @default.
- W1601864450 hasConceptScore W1601864450C199360897 @default.
- W1601864450 hasConceptScore W1601864450C2780522230 @default.
- W1601864450 hasConceptScore W1601864450C2780902518 @default.
- W1601864450 hasConceptScore W1601864450C2781238097 @default.
- W1601864450 hasConceptScore W1601864450C33923547 @default.
- W1601864450 hasConceptScore W1601864450C41008148 @default.
- W1601864450 hasConceptScore W1601864450C55493867 @default.
- W1601864450 hasConceptScore W1601864450C73752529 @default.
- W1601864450 hasConceptScore W1601864450C80444323 @default.
- W1601864450 hasLocation W16018644501 @default.
- W1601864450 hasOpenAccess W1601864450 @default.
- W1601864450 hasPrimaryLocation W16018644501 @default.
- W1601864450 hasRelatedWork W1487321659 @default.
- W1601864450 hasRelatedWork W1537618227 @default.
- W1601864450 hasRelatedWork W1542165357 @default.
- W1601864450 hasRelatedWork W1578809901 @default.
- W1601864450 hasRelatedWork W1746203594 @default.
- W1601864450 hasRelatedWork W1902828588 @default.
- W1601864450 hasRelatedWork W1947793699 @default.
- W1601864450 hasRelatedWork W2148853502 @default.
- W1601864450 hasRelatedWork W827632132 @default.
- W1601864450 hasRelatedWork W2474869314 @default.
- W1601864450 isParatext "false" @default.
- W1601864450 isRetracted "false" @default.
- W1601864450 magId "1601864450" @default.
- W1601864450 workType "book-chapter" @default.