Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018474310> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2018474310 abstract "Bisimilarity (also known as 'applicative bisimulation') has attracted a good deal of attention as an operational equivalence for λ-calculi. It approximates or even equals Morris-style contextual equivalence and admits proofs of program equivalence via co-induction. It has an elementary construction from the operational definition of a language. We consider bisimilarity for one of the typed object calculi of Abadi and Cardelli. By defining a labelled transition system for the calculus in the style of Crole and Gordon and using a variation of Howe's method we establish two central results: that bisimilarity is a congruence, and that it equals contextual equivalence. So two objects are bisimilarity no amount of programming can tell them apart. Our third contribution is to show that bisimilarity soundly models the equational theory of Abadi and Cardelli. This is the first study of contextual equivalence for an object calculus and the first application of Howe's method to subtyping. By these results, we intend to demonstrate that operational methods are a promising new direction for the foundations of object-oriented programming." @default.
- W2018474310 created "2016-06-24" @default.
- W2018474310 creator A5004755318 @default.
- W2018474310 creator A5078684560 @default.
- W2018474310 date "1996-01-01" @default.
- W2018474310 modified "2023-10-18" @default.
- W2018474310 title "Bisimilarity for a first-order calculus of objects with subtyping" @default.
- W2018474310 cites W1495794780 @default.
- W2018474310 cites W1503973138 @default.
- W2018474310 cites W1507881659 @default.
- W2018474310 cites W1550213746 @default.
- W2018474310 cites W1551132038 @default.
- W2018474310 cites W1563488194 @default.
- W2018474310 cites W1584334623 @default.
- W2018474310 cites W1589600643 @default.
- W2018474310 cites W1987868327 @default.
- W2018474310 cites W2007270285 @default.
- W2018474310 cites W2020589020 @default.
- W2018474310 cites W2039112578 @default.
- W2018474310 cites W2062233055 @default.
- W2018474310 cites W2088941870 @default.
- W2018474310 cites W2095988676 @default.
- W2018474310 cites W2113239150 @default.
- W2018474310 cites W2118883965 @default.
- W2018474310 cites W2122940757 @default.
- W2018474310 cites W2130881558 @default.
- W2018474310 cites W2148025199 @default.
- W2018474310 cites W2149545675 @default.
- W2018474310 cites W2165407648 @default.
- W2018474310 cites W2167949883 @default.
- W2018474310 cites W2476379118 @default.
- W2018474310 cites W2912819106 @default.
- W2018474310 cites W3168908287 @default.
- W2018474310 doi "https://doi.org/10.1145/237721.237807" @default.
- W2018474310 hasPublicationYear "1996" @default.
- W2018474310 type Work @default.
- W2018474310 sameAs 2018474310 @default.
- W2018474310 citedByCount "54" @default.
- W2018474310 countsByYear W20184743102012 @default.
- W2018474310 countsByYear W20184743102013 @default.
- W2018474310 countsByYear W20184743102014 @default.
- W2018474310 countsByYear W20184743102019 @default.
- W2018474310 countsByYear W20184743102021 @default.
- W2018474310 crossrefType "proceedings-article" @default.
- W2018474310 hasAuthorship W2018474310A5004755318 @default.
- W2018474310 hasAuthorship W2018474310A5078684560 @default.
- W2018474310 hasConcept C108710211 @default.
- W2018474310 hasConcept C118615104 @default.
- W2018474310 hasConcept C135315306 @default.
- W2018474310 hasConcept C136119220 @default.
- W2018474310 hasConcept C156325763 @default.
- W2018474310 hasConcept C184337299 @default.
- W2018474310 hasConcept C199343813 @default.
- W2018474310 hasConcept C199360897 @default.
- W2018474310 hasConcept C202444582 @default.
- W2018474310 hasConcept C2524010 @default.
- W2018474310 hasConcept C2777686260 @default.
- W2018474310 hasConcept C2780069185 @default.
- W2018474310 hasConcept C33923547 @default.
- W2018474310 hasConcept C41008148 @default.
- W2018474310 hasConcept C70846408 @default.
- W2018474310 hasConcept C71924100 @default.
- W2018474310 hasConcept C80444323 @default.
- W2018474310 hasConcept C83852419 @default.
- W2018474310 hasConceptScore W2018474310C108710211 @default.
- W2018474310 hasConceptScore W2018474310C118615104 @default.
- W2018474310 hasConceptScore W2018474310C135315306 @default.
- W2018474310 hasConceptScore W2018474310C136119220 @default.
- W2018474310 hasConceptScore W2018474310C156325763 @default.
- W2018474310 hasConceptScore W2018474310C184337299 @default.
- W2018474310 hasConceptScore W2018474310C199343813 @default.
- W2018474310 hasConceptScore W2018474310C199360897 @default.
- W2018474310 hasConceptScore W2018474310C202444582 @default.
- W2018474310 hasConceptScore W2018474310C2524010 @default.
- W2018474310 hasConceptScore W2018474310C2777686260 @default.
- W2018474310 hasConceptScore W2018474310C2780069185 @default.
- W2018474310 hasConceptScore W2018474310C33923547 @default.
- W2018474310 hasConceptScore W2018474310C41008148 @default.
- W2018474310 hasConceptScore W2018474310C70846408 @default.
- W2018474310 hasConceptScore W2018474310C71924100 @default.
- W2018474310 hasConceptScore W2018474310C80444323 @default.
- W2018474310 hasConceptScore W2018474310C83852419 @default.
- W2018474310 hasLocation W20184743101 @default.
- W2018474310 hasOpenAccess W2018474310 @default.
- W2018474310 hasPrimaryLocation W20184743101 @default.
- W2018474310 hasRelatedWork W1543496272 @default.
- W2018474310 hasRelatedWork W1568197394 @default.
- W2018474310 hasRelatedWork W1750114171 @default.
- W2018474310 hasRelatedWork W1804005701 @default.
- W2018474310 hasRelatedWork W1808575051 @default.
- W2018474310 hasRelatedWork W1989237968 @default.
- W2018474310 hasRelatedWork W2035063966 @default.
- W2018474310 hasRelatedWork W2069441293 @default.
- W2018474310 hasRelatedWork W207051717 @default.
- W2018474310 hasRelatedWork W4299613836 @default.
- W2018474310 isParatext "false" @default.
- W2018474310 isRetracted "false" @default.
- W2018474310 magId "2018474310" @default.
- W2018474310 workType "article" @default.