Matches in SemOpenAlex for { <https://semopenalex.org/work/W2134086476> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2134086476 endingPage "316" @default.
- W2134086476 startingPage "296" @default.
- W2134086476 abstract "Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented languages is class-based. Considering classes as part of a component makes instantiation a possible interaction between component and environment. As a consequence, one needs to take connectivity information into account. We formulate an operational semantics that incorporates the connectivity information into the scoping mechanism of the calculus. Furthermore, we formalize a notion of equivalence on traces which captures the uncertainty of observation cause by the fact that the observer may fall into separate groups of objects. We use a corresponding trace semantics for full abstraction wrt. a simple notion of observability. This requires to capture the notion of determinism for traces where classes may be instantiated into more than one instance during a run and showing thus twice an equivalent behavior (doing a “replay”), a problem absent in an object-based setting." @default.
- W2134086476 created "2016-06-24" @default.
- W2134086476 creator A5028076905 @default.
- W2134086476 creator A5054513392 @default.
- W2134086476 creator A5058708865 @default.
- W2134086476 creator A5058725359 @default.
- W2134086476 creator A5068015318 @default.
- W2134086476 date "2005-01-01" @default.
- W2134086476 modified "2023-10-18" @default.
- W2134086476 title "Observability, Connectivity, and Replay in a Sequential Calculus of Classes" @default.
- W2134086476 cites W1503806292 @default.
- W2134086476 cites W1544633123 @default.
- W2134086476 cites W2134056477 @default.
- W2134086476 cites W2148186468 @default.
- W2134086476 cites W290752214 @default.
- W2134086476 cites W4240291772 @default.
- W2134086476 doi "https://doi.org/10.1007/11561163_13" @default.
- W2134086476 hasPublicationYear "2005" @default.
- W2134086476 type Work @default.
- W2134086476 sameAs 2134086476 @default.
- W2134086476 citedByCount "13" @default.
- W2134086476 countsByYear W21340864762013 @default.
- W2134086476 countsByYear W21340864762014 @default.
- W2134086476 countsByYear W21340864762015 @default.
- W2134086476 crossrefType "book-chapter" @default.
- W2134086476 hasAuthorship W2134086476A5028076905 @default.
- W2134086476 hasAuthorship W2134086476A5054513392 @default.
- W2134086476 hasAuthorship W2134086476A5058708865 @default.
- W2134086476 hasAuthorship W2134086476A5058725359 @default.
- W2134086476 hasAuthorship W2134086476A5068015318 @default.
- W2134086476 hasConcept C118615104 @default.
- W2134086476 hasConcept C121332964 @default.
- W2134086476 hasConcept C138885662 @default.
- W2134086476 hasConcept C154945302 @default.
- W2134086476 hasConcept C168167062 @default.
- W2134086476 hasConcept C184337299 @default.
- W2134086476 hasConcept C199360897 @default.
- W2134086476 hasConcept C2780069185 @default.
- W2134086476 hasConcept C2781238097 @default.
- W2134086476 hasConcept C28826006 @default.
- W2134086476 hasConcept C2984882572 @default.
- W2134086476 hasConcept C33923547 @default.
- W2134086476 hasConcept C36299963 @default.
- W2134086476 hasConcept C41008148 @default.
- W2134086476 hasConcept C41895202 @default.
- W2134086476 hasConcept C75291252 @default.
- W2134086476 hasConcept C80444323 @default.
- W2134086476 hasConcept C97355855 @default.
- W2134086476 hasConceptScore W2134086476C118615104 @default.
- W2134086476 hasConceptScore W2134086476C121332964 @default.
- W2134086476 hasConceptScore W2134086476C138885662 @default.
- W2134086476 hasConceptScore W2134086476C154945302 @default.
- W2134086476 hasConceptScore W2134086476C168167062 @default.
- W2134086476 hasConceptScore W2134086476C184337299 @default.
- W2134086476 hasConceptScore W2134086476C199360897 @default.
- W2134086476 hasConceptScore W2134086476C2780069185 @default.
- W2134086476 hasConceptScore W2134086476C2781238097 @default.
- W2134086476 hasConceptScore W2134086476C28826006 @default.
- W2134086476 hasConceptScore W2134086476C2984882572 @default.
- W2134086476 hasConceptScore W2134086476C33923547 @default.
- W2134086476 hasConceptScore W2134086476C36299963 @default.
- W2134086476 hasConceptScore W2134086476C41008148 @default.
- W2134086476 hasConceptScore W2134086476C41895202 @default.
- W2134086476 hasConceptScore W2134086476C75291252 @default.
- W2134086476 hasConceptScore W2134086476C80444323 @default.
- W2134086476 hasConceptScore W2134086476C97355855 @default.
- W2134086476 hasLocation W21340864761 @default.
- W2134086476 hasOpenAccess W2134086476 @default.
- W2134086476 hasPrimaryLocation W21340864761 @default.
- W2134086476 hasRelatedWork W1513077802 @default.
- W2134086476 hasRelatedWork W1542888066 @default.
- W2134086476 hasRelatedWork W1587224678 @default.
- W2134086476 hasRelatedWork W1669381862 @default.
- W2134086476 hasRelatedWork W1990892358 @default.
- W2134086476 hasRelatedWork W2138602467 @default.
- W2134086476 hasRelatedWork W2788523799 @default.
- W2134086476 hasRelatedWork W2901900876 @default.
- W2134086476 hasRelatedWork W4298352208 @default.
- W2134086476 hasRelatedWork W4319786958 @default.
- W2134086476 isParatext "false" @default.
- W2134086476 isRetracted "false" @default.
- W2134086476 magId "2134086476" @default.
- W2134086476 workType "book-chapter" @default.