Matches in SemOpenAlex for { <https://semopenalex.org/work/W2001330483> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2001330483 abstract "We apply the principles of the intersection type discipline to the study of class-based object oriented programs and; our work follows from a similar approach (in the context of Abadi and Cardelli's ς-object calculus) taken by van Bakel and de'Liguoro. We define an extension of Featherweight Java, pFJ, and present a predicate system which we show to be sound and expressive. We also show that our system provides a semantic underpinning for the object oriented paradigm by generalising the concept of approximant from the Lambda Calculus and demonstrating an approximation result: all expressions to which we can assign a predicate have an approximant that satisfies the same predicate. Crucial to this result is the notion of predicate language, which associates a family of predicates with a class." @default.
- W2001330483 created "2016-06-24" @default.
- W2001330483 creator A5035238877 @default.
- W2001330483 creator A5056648657 @default.
- W2001330483 date "2009-07-06" @default.
- W2001330483 modified "2023-10-17" @default.
- W2001330483 title "Semantic predicate types and approximation for class-based object oriented programming" @default.
- W2001330483 cites W1598565505 @default.
- W2001330483 cites W1600469512 @default.
- W2001330483 cites W1835438124 @default.
- W2001330483 cites W1970227944 @default.
- W2001330483 cites W1976958863 @default.
- W2001330483 cites W1981303668 @default.
- W2001330483 cites W1989237968 @default.
- W2001330483 cites W2023661080 @default.
- W2001330483 cites W2033348393 @default.
- W2001330483 cites W2057779758 @default.
- W2001330483 cites W2064819162 @default.
- W2001330483 cites W2079009644 @default.
- W2001330483 cites W2080040385 @default.
- W2001330483 cites W2080607492 @default.
- W2001330483 cites W2085670481 @default.
- W2001330483 cites W2109568634 @default.
- W2001330483 cites W2113238444 @default.
- W2001330483 cites W2114702446 @default.
- W2001330483 cites W2119240423 @default.
- W2001330483 cites W2149837936 @default.
- W2001330483 cites W2150965064 @default.
- W2001330483 cites W2157684955 @default.
- W2001330483 cites W2158244462 @default.
- W2001330483 cites W2171058032 @default.
- W2001330483 cites W2184268586 @default.
- W2001330483 cites W2792739471 @default.
- W2001330483 doi "https://doi.org/10.1145/1557898.1557901" @default.
- W2001330483 hasPublicationYear "2009" @default.
- W2001330483 type Work @default.
- W2001330483 sameAs 2001330483 @default.
- W2001330483 citedByCount "2" @default.
- W2001330483 crossrefType "proceedings-article" @default.
- W2001330483 hasAuthorship W2001330483A5035238877 @default.
- W2001330483 hasAuthorship W2001330483A5056648657 @default.
- W2001330483 hasBestOaLocation W20013304832 @default.
- W2001330483 hasConcept C135790938 @default.
- W2001330483 hasConcept C140146324 @default.
- W2001330483 hasConcept C199343813 @default.
- W2001330483 hasConcept C199360897 @default.
- W2001330483 hasConcept C2777686260 @default.
- W2001330483 hasConcept C41008148 @default.
- W2001330483 hasConcept C71924100 @default.
- W2001330483 hasConcept C73752529 @default.
- W2001330483 hasConcept C80444323 @default.
- W2001330483 hasConceptScore W2001330483C135790938 @default.
- W2001330483 hasConceptScore W2001330483C140146324 @default.
- W2001330483 hasConceptScore W2001330483C199343813 @default.
- W2001330483 hasConceptScore W2001330483C199360897 @default.
- W2001330483 hasConceptScore W2001330483C2777686260 @default.
- W2001330483 hasConceptScore W2001330483C41008148 @default.
- W2001330483 hasConceptScore W2001330483C71924100 @default.
- W2001330483 hasConceptScore W2001330483C73752529 @default.
- W2001330483 hasConceptScore W2001330483C80444323 @default.
- W2001330483 hasLocation W20013304831 @default.
- W2001330483 hasLocation W20013304832 @default.
- W2001330483 hasLocation W20013304833 @default.
- W2001330483 hasLocation W20013304834 @default.
- W2001330483 hasOpenAccess W2001330483 @default.
- W2001330483 hasPrimaryLocation W20013304831 @default.
- W2001330483 hasRelatedWork W1512248002 @default.
- W2001330483 hasRelatedWork W1554764448 @default.
- W2001330483 hasRelatedWork W2118300983 @default.
- W2001330483 hasRelatedWork W2171794906 @default.
- W2001330483 hasRelatedWork W2348181611 @default.
- W2001330483 hasRelatedWork W3110420271 @default.
- W2001330483 hasRelatedWork W3161927982 @default.
- W2001330483 hasRelatedWork W1482645738 @default.
- W2001330483 hasRelatedWork W2528467228 @default.
- W2001330483 hasRelatedWork W2611182424 @default.
- W2001330483 isParatext "false" @default.
- W2001330483 isRetracted "false" @default.
- W2001330483 magId "2001330483" @default.
- W2001330483 workType "article" @default.