Matches in SemOpenAlex for { <https://semopenalex.org/work/W2027723207> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2027723207 endingPage "213" @default.
- W2027723207 startingPage "191" @default.
- W2027723207 abstract "The main contribution of this paper is a formal characterization of recursive object specifications and their existence based on a denotational untyped semantics of the object calculus. Existence is not guaranteed but can be shown employing Pitts’ results on relational properties of domains. The semantics can be used to analyse and verify Abadi and Leino's object logic but it also suggests extensions. For example, specifications of methods may not only refer to fields but also to methods of objects in the store. This can be achieved without compromising the existence theorem. An informal logic of predomains is in use intentionally in order to avoid any commitment to a particular syntax of specification logic." @default.
- W2027723207 created "2016-06-24" @default.
- W2027723207 creator A5018059594 @default.
- W2027723207 creator A5022583176 @default.
- W2027723207 date "2004-05-01" @default.
- W2027723207 modified "2023-10-03" @default.
- W2027723207 title "Semantics and logic of object calculi" @default.
- W2027723207 cites W1483157468 @default.
- W2027723207 cites W1489088018 @default.
- W2027723207 cites W1495368328 @default.
- W2027723207 cites W1505328234 @default.
- W2027723207 cites W1507881659 @default.
- W2027723207 cites W1511544588 @default.
- W2027723207 cites W1542792783 @default.
- W2027723207 cites W1544633123 @default.
- W2027723207 cites W1548394473 @default.
- W2027723207 cites W1561804611 @default.
- W2027723207 cites W1564913344 @default.
- W2027723207 cites W1583769822 @default.
- W2027723207 cites W1945350451 @default.
- W2027723207 cites W1997753121 @default.
- W2027723207 cites W2057835515 @default.
- W2027723207 cites W2058121495 @default.
- W2027723207 cites W2060852846 @default.
- W2027723207 cites W2097185397 @default.
- W2027723207 cites W2106472587 @default.
- W2027723207 cites W2132638915 @default.
- W2027723207 cites W2140086559 @default.
- W2027723207 cites W2150728514 @default.
- W2027723207 cites W2167500728 @default.
- W2027723207 cites W2509253968 @default.
- W2027723207 cites W3000560506 @default.
- W2027723207 cites W79336753 @default.
- W2027723207 doi "https://doi.org/10.1016/j.tcs.2004.01.030" @default.
- W2027723207 hasPublicationYear "2004" @default.
- W2027723207 type Work @default.
- W2027723207 sameAs 2027723207 @default.
- W2027723207 citedByCount "15" @default.
- W2027723207 crossrefType "journal-article" @default.
- W2027723207 hasAuthorship W2027723207A5018059594 @default.
- W2027723207 hasAuthorship W2027723207A5022583176 @default.
- W2027723207 hasConcept C102993220 @default.
- W2027723207 hasConcept C114408938 @default.
- W2027723207 hasConcept C136119220 @default.
- W2027723207 hasConcept C154945302 @default.
- W2027723207 hasConcept C156325763 @default.
- W2027723207 hasConcept C169896238 @default.
- W2027723207 hasConcept C184337299 @default.
- W2027723207 hasConcept C199360897 @default.
- W2027723207 hasConcept C202444582 @default.
- W2027723207 hasConcept C207648694 @default.
- W2027723207 hasConcept C2781238097 @default.
- W2027723207 hasConcept C33923547 @default.
- W2027723207 hasConcept C41008148 @default.
- W2027723207 hasConcept C58041814 @default.
- W2027723207 hasConcept C60048249 @default.
- W2027723207 hasConcept C80444323 @default.
- W2027723207 hasConceptScore W2027723207C102993220 @default.
- W2027723207 hasConceptScore W2027723207C114408938 @default.
- W2027723207 hasConceptScore W2027723207C136119220 @default.
- W2027723207 hasConceptScore W2027723207C154945302 @default.
- W2027723207 hasConceptScore W2027723207C156325763 @default.
- W2027723207 hasConceptScore W2027723207C169896238 @default.
- W2027723207 hasConceptScore W2027723207C184337299 @default.
- W2027723207 hasConceptScore W2027723207C199360897 @default.
- W2027723207 hasConceptScore W2027723207C202444582 @default.
- W2027723207 hasConceptScore W2027723207C207648694 @default.
- W2027723207 hasConceptScore W2027723207C2781238097 @default.
- W2027723207 hasConceptScore W2027723207C33923547 @default.
- W2027723207 hasConceptScore W2027723207C41008148 @default.
- W2027723207 hasConceptScore W2027723207C58041814 @default.
- W2027723207 hasConceptScore W2027723207C60048249 @default.
- W2027723207 hasConceptScore W2027723207C80444323 @default.
- W2027723207 hasIssue "1-3" @default.
- W2027723207 hasLocation W20277232071 @default.
- W2027723207 hasOpenAccess W2027723207 @default.
- W2027723207 hasPrimaryLocation W20277232071 @default.
- W2027723207 hasRelatedWork W1516977875 @default.
- W2027723207 hasRelatedWork W1578725873 @default.
- W2027723207 hasRelatedWork W1794259277 @default.
- W2027723207 hasRelatedWork W2057588976 @default.
- W2027723207 hasRelatedWork W2114696493 @default.
- W2027723207 hasRelatedWork W2122911764 @default.
- W2027723207 hasRelatedWork W2139760036 @default.
- W2027723207 hasRelatedWork W2153980583 @default.
- W2027723207 hasRelatedWork W2372050396 @default.
- W2027723207 hasRelatedWork W2440748874 @default.
- W2027723207 hasVolume "316" @default.
- W2027723207 isParatext "false" @default.
- W2027723207 isRetracted "false" @default.
- W2027723207 magId "2027723207" @default.
- W2027723207 workType "article" @default.