Matches in SemOpenAlex for { <https://semopenalex.org/work/W91843670> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W91843670 endingPage "82" @default.
- W91843670 startingPage "66" @default.
- W91843670 abstract "We propose an integration of structural subtyping with boolean connectives and semantic subtyping to define a Java-like programming language that exploits the benefits of both techniques. Semantic subtyping is an approach to defining subtyping relation based on set-theoretic models, rather than syntactic rules. On the one hand, this approach involves some non trivial mathematical machinery in the background. On the other hand, final users of the language need not know this machinery and the resulting subtyping relation is very powerful and intuitive. While semantic subtyping is naturally linked to the structural one, we show how the framework can also accommodate the nominal subtyping. Several examples show the expressivity and the practical advantages of our proposal." @default.
- W91843670 created "2016-06-24" @default.
- W91843670 creator A5050784078 @default.
- W91843670 creator A5070497799 @default.
- W91843670 creator A5074052214 @default.
- W91843670 date "2013-01-01" @default.
- W91843670 modified "2023-10-13" @default.
- W91843670 title "Semantic Subtyping for Objects and Classes" @default.
- W91843670 cites W1487763225 @default.
- W91843670 cites W1505718642 @default.
- W91843670 cites W1524515856 @default.
- W91843670 cites W1535483699 @default.
- W91843670 cites W1544644360 @default.
- W91843670 cites W1544818949 @default.
- W91843670 cites W1547023122 @default.
- W91843670 cites W1571413858 @default.
- W91843670 cites W175791261 @default.
- W91843670 cites W1966814918 @default.
- W91843670 cites W1979473344 @default.
- W91843670 cites W1988897846 @default.
- W91843670 cites W1993246012 @default.
- W91843670 cites W2022443117 @default.
- W91843670 cites W2033348393 @default.
- W91843670 cites W2057670587 @default.
- W91843670 cites W2133786491 @default.
- W91843670 cites W3171422199 @default.
- W91843670 cites W4236036677 @default.
- W91843670 cites W4244867123 @default.
- W91843670 cites W4250301243 @default.
- W91843670 doi "https://doi.org/10.1007/978-3-642-38592-6_6" @default.
- W91843670 hasPublicationYear "2013" @default.
- W91843670 type Work @default.
- W91843670 sameAs 91843670 @default.
- W91843670 citedByCount "3" @default.
- W91843670 countsByYear W918436702016 @default.
- W91843670 countsByYear W918436702018 @default.
- W91843670 countsByYear W918436702020 @default.
- W91843670 crossrefType "book-chapter" @default.
- W91843670 hasAuthorship W91843670A5050784078 @default.
- W91843670 hasAuthorship W91843670A5070497799 @default.
- W91843670 hasAuthorship W91843670A5074052214 @default.
- W91843670 hasBestOaLocation W918436701 @default.
- W91843670 hasConcept C124101348 @default.
- W91843670 hasConcept C177264268 @default.
- W91843670 hasConcept C184337299 @default.
- W91843670 hasConcept C199360897 @default.
- W91843670 hasConcept C25343380 @default.
- W91843670 hasConcept C41008148 @default.
- W91843670 hasConcept C548217200 @default.
- W91843670 hasConcept C80444323 @default.
- W91843670 hasConcept C83852419 @default.
- W91843670 hasConceptScore W91843670C124101348 @default.
- W91843670 hasConceptScore W91843670C177264268 @default.
- W91843670 hasConceptScore W91843670C184337299 @default.
- W91843670 hasConceptScore W91843670C199360897 @default.
- W91843670 hasConceptScore W91843670C25343380 @default.
- W91843670 hasConceptScore W91843670C41008148 @default.
- W91843670 hasConceptScore W91843670C548217200 @default.
- W91843670 hasConceptScore W91843670C80444323 @default.
- W91843670 hasConceptScore W91843670C83852419 @default.
- W91843670 hasLocation W918436701 @default.
- W91843670 hasLocation W918436702 @default.
- W91843670 hasLocation W918436703 @default.
- W91843670 hasLocation W918436704 @default.
- W91843670 hasLocation W918436705 @default.
- W91843670 hasLocation W918436706 @default.
- W91843670 hasLocation W918436707 @default.
- W91843670 hasOpenAccess W91843670 @default.
- W91843670 hasPrimaryLocation W918436701 @default.
- W91843670 hasRelatedWork W1462775415 @default.
- W91843670 hasRelatedWork W1535483699 @default.
- W91843670 hasRelatedWork W1981572083 @default.
- W91843670 hasRelatedWork W1987896487 @default.
- W91843670 hasRelatedWork W2391332606 @default.
- W91843670 hasRelatedWork W2396009657 @default.
- W91843670 hasRelatedWork W2799110842 @default.
- W91843670 hasRelatedWork W3032826521 @default.
- W91843670 hasRelatedWork W4229853287 @default.
- W91843670 hasRelatedWork W2788308474 @default.
- W91843670 isParatext "false" @default.
- W91843670 isRetracted "false" @default.
- W91843670 magId "91843670" @default.
- W91843670 workType "book-chapter" @default.