Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912355729> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2912355729 endingPage "145" @default.
- W2912355729 startingPage "128" @default.
- W2912355729 abstract "The concept of method schemas is proposed as a simple model for object-oriented programming with features such as classes with methods and inheritance, method name overloading, and late binding. An important issue is to check whether a given method schema can possibly lead to inconsistencies in some interpretations. The consistency problem for method schemas is studied. The problem is shown to be undecidable in general. Decidability is obtained for monadic and/or recursion-free method schemas. The effect of covariance is considered. The issues of incremental consistency checking and of a sound algorithm for the general case are briefly discussed." @default.
- W2912355729 created "2019-02-21" @default.
- W2912355729 creator A5065441520 @default.
- W2912355729 creator A5082213777 @default.
- W2912355729 creator A5090934117 @default.
- W2912355729 date "1992-01-01" @default.
- W2912355729 modified "2023-09-24" @default.
- W2912355729 title "Method schemas" @default.
- W2912355729 hasPublicationYear "1992" @default.
- W2912355729 type Work @default.
- W2912355729 sameAs 2912355729 @default.
- W2912355729 citedByCount "2" @default.
- W2912355729 crossrefType "book" @default.
- W2912355729 hasAuthorship W2912355729A5065441520 @default.
- W2912355729 hasAuthorship W2912355729A5082213777 @default.
- W2912355729 hasAuthorship W2912355729A5090934117 @default.
- W2912355729 hasConcept C105795698 @default.
- W2912355729 hasConcept C111472728 @default.
- W2912355729 hasConcept C11413529 @default.
- W2912355729 hasConcept C122377713 @default.
- W2912355729 hasConcept C138885662 @default.
- W2912355729 hasConcept C153269930 @default.
- W2912355729 hasConcept C154945302 @default.
- W2912355729 hasConcept C168773036 @default.
- W2912355729 hasConcept C185429906 @default.
- W2912355729 hasConcept C192034797 @default.
- W2912355729 hasConcept C199360897 @default.
- W2912355729 hasConcept C23123220 @default.
- W2912355729 hasConcept C2776436953 @default.
- W2912355729 hasConcept C2780586882 @default.
- W2912355729 hasConcept C31388003 @default.
- W2912355729 hasConcept C33923547 @default.
- W2912355729 hasConcept C41008148 @default.
- W2912355729 hasConcept C52146309 @default.
- W2912355729 hasConcept C80444323 @default.
- W2912355729 hasConceptScore W2912355729C105795698 @default.
- W2912355729 hasConceptScore W2912355729C111472728 @default.
- W2912355729 hasConceptScore W2912355729C11413529 @default.
- W2912355729 hasConceptScore W2912355729C122377713 @default.
- W2912355729 hasConceptScore W2912355729C138885662 @default.
- W2912355729 hasConceptScore W2912355729C153269930 @default.
- W2912355729 hasConceptScore W2912355729C154945302 @default.
- W2912355729 hasConceptScore W2912355729C168773036 @default.
- W2912355729 hasConceptScore W2912355729C185429906 @default.
- W2912355729 hasConceptScore W2912355729C192034797 @default.
- W2912355729 hasConceptScore W2912355729C199360897 @default.
- W2912355729 hasConceptScore W2912355729C23123220 @default.
- W2912355729 hasConceptScore W2912355729C2776436953 @default.
- W2912355729 hasConceptScore W2912355729C2780586882 @default.
- W2912355729 hasConceptScore W2912355729C31388003 @default.
- W2912355729 hasConceptScore W2912355729C33923547 @default.
- W2912355729 hasConceptScore W2912355729C41008148 @default.
- W2912355729 hasConceptScore W2912355729C52146309 @default.
- W2912355729 hasConceptScore W2912355729C80444323 @default.
- W2912355729 hasLocation W29123557291 @default.
- W2912355729 hasOpenAccess W2912355729 @default.
- W2912355729 hasPrimaryLocation W29123557291 @default.
- W2912355729 hasRelatedWork W1501986906 @default.
- W2912355729 hasRelatedWork W1559824403 @default.
- W2912355729 hasRelatedWork W1585278061 @default.
- W2912355729 hasRelatedWork W1619541813 @default.
- W2912355729 hasRelatedWork W1943394101 @default.
- W2912355729 hasRelatedWork W1972562904 @default.
- W2912355729 hasRelatedWork W2023742063 @default.
- W2912355729 hasRelatedWork W2049977374 @default.
- W2912355729 hasRelatedWork W2065978248 @default.
- W2912355729 hasRelatedWork W2156358882 @default.
- W2912355729 hasRelatedWork W2164405914 @default.
- W2912355729 hasRelatedWork W2217843949 @default.
- W2912355729 hasRelatedWork W2295279680 @default.
- W2912355729 hasRelatedWork W2406477300 @default.
- W2912355729 hasRelatedWork W2748055228 @default.
- W2912355729 hasRelatedWork W2994004239 @default.
- W2912355729 hasRelatedWork W3104517613 @default.
- W2912355729 hasRelatedWork W3133871583 @default.
- W2912355729 hasRelatedWork W3159434456 @default.
- W2912355729 hasRelatedWork W3201323430 @default.
- W2912355729 isParatext "false" @default.
- W2912355729 isRetracted "false" @default.
- W2912355729 magId "2912355729" @default.
- W2912355729 workType "book" @default.