Matches in SemOpenAlex for { <https://semopenalex.org/work/W1542792783> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W1542792783 endingPage "469" @default.
- W1542792783 startingPage "456" @default.
- W1542792783 abstract "The semantics of class-based languages can be defined in terms of objects only [1,7,8] if classes are viewed as objects with a constructor method. One obtains a store in which method closures are held together with field values. Such a store is also called “higher-order” and does not come for free [13]. It is much harder to prove properties of such stores and as a consequence (soundness of) programming logics can become rather contrived (see [2])." @default.
- W1542792783 created "2016-06-24" @default.
- W1542792783 creator A5018059594 @default.
- W1542792783 date "2003-01-01" @default.
- W1542792783 modified "2023-09-25" @default.
- W1542792783 title "Modular Semantics and Logics of Classes" @default.
- W1542792783 cites W1483157468 @default.
- W1542792783 cites W1489088018 @default.
- W1542792783 cites W1495368328 @default.
- W1542792783 cites W1544633123 @default.
- W1542792783 cites W1561804611 @default.
- W1542792783 cites W1583769822 @default.
- W1542792783 cites W1822389052 @default.
- W1542792783 cites W1945350451 @default.
- W1542792783 cites W2097185397 @default.
- W1542792783 cites W4246059478 @default.
- W1542792783 doi "https://doi.org/10.1007/978-3-540-45220-1_37" @default.
- W1542792783 hasPublicationYear "2003" @default.
- W1542792783 type Work @default.
- W1542792783 sameAs 1542792783 @default.
- W1542792783 citedByCount "11" @default.
- W1542792783 countsByYear W15427927832016 @default.
- W1542792783 crossrefType "book-chapter" @default.
- W1542792783 hasAuthorship W1542792783A5018059594 @default.
- W1542792783 hasBestOaLocation W15427927832 @default.
- W1542792783 hasConcept C101468663 @default.
- W1542792783 hasConcept C184337299 @default.
- W1542792783 hasConcept C199360897 @default.
- W1542792783 hasConcept C41008148 @default.
- W1542792783 hasConceptScore W1542792783C101468663 @default.
- W1542792783 hasConceptScore W1542792783C184337299 @default.
- W1542792783 hasConceptScore W1542792783C199360897 @default.
- W1542792783 hasConceptScore W1542792783C41008148 @default.
- W1542792783 hasLocation W15427927831 @default.
- W1542792783 hasLocation W15427927832 @default.
- W1542792783 hasOpenAccess W1542792783 @default.
- W1542792783 hasPrimaryLocation W15427927831 @default.
- W1542792783 hasRelatedWork W1483213041 @default.
- W1542792783 hasRelatedWork W1570795131 @default.
- W1542792783 hasRelatedWork W1587224678 @default.
- W1542792783 hasRelatedWork W1778728081 @default.
- W1542792783 hasRelatedWork W2056977125 @default.
- W1542792783 hasRelatedWork W2090686886 @default.
- W1542792783 hasRelatedWork W2503735611 @default.
- W1542792783 hasRelatedWork W27605384 @default.
- W1542792783 hasRelatedWork W288103726 @default.
- W1542792783 hasRelatedWork W1894736207 @default.
- W1542792783 isParatext "false" @default.
- W1542792783 isRetracted "false" @default.
- W1542792783 magId "1542792783" @default.
- W1542792783 workType "book-chapter" @default.