Matches in SemOpenAlex for { <https://semopenalex.org/work/W1583922016> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1583922016 abstract "This paper is intended to give an overview of the formal techniques that have been developed to deal with the parallel object-oriented language POOL and several related languages. We sketch a number of semantic descriptions, using several formalism: operational semantics, denotational semantics, and a new approach to semantics, which we call layered semantics. Then we summarize the progress that has been made in formal proof systems to verify the correctness of parallel object-oriented programs. Finally we survey the techniques that we are currently developing to describe the behaviour of objects independently of their implementation, leading to linguistic support for behavioural subtyping." @default.
- W1583922016 created "2016-06-24" @default.
- W1583922016 creator A5024238153 @default.
- W1583922016 date "1992-01-01" @default.
- W1583922016 modified "2023-09-25" @default.
- W1583922016 title "Formal techniques for parallel object-oriented languages" @default.
- W1583922016 cites W1539804543 @default.
- W1583922016 cites W1547997140 @default.
- W1583922016 cites W1553472522 @default.
- W1583922016 cites W1559723191 @default.
- W1583922016 cites W1570135703 @default.
- W1583922016 cites W1591007360 @default.
- W1583922016 cites W1966054964 @default.
- W1583922016 cites W1972478730 @default.
- W1583922016 cites W1984831616 @default.
- W1583922016 cites W1995902462 @default.
- W1583922016 cites W2008593634 @default.
- W1583922016 cites W2032265482 @default.
- W1583922016 cites W2036656026 @default.
- W1583922016 cites W2041828955 @default.
- W1583922016 cites W2062024564 @default.
- W1583922016 cites W2111619838 @default.
- W1583922016 cites W2116012718 @default.
- W1583922016 cites W2125499102 @default.
- W1583922016 cites W2140920629 @default.
- W1583922016 cites W2158942489 @default.
- W1583922016 cites W2164060060 @default.
- W1583922016 cites W2987907651 @default.
- W1583922016 cites W4211008702 @default.
- W1583922016 cites W4213381987 @default.
- W1583922016 cites W4255667787 @default.
- W1583922016 doi "https://doi.org/10.1007/3-540-55613-3_6" @default.
- W1583922016 hasPublicationYear "1992" @default.
- W1583922016 type Work @default.
- W1583922016 sameAs 1583922016 @default.
- W1583922016 citedByCount "0" @default.
- W1583922016 crossrefType "book-chapter" @default.
- W1583922016 hasAuthorship W1583922016A5024238153 @default.
- W1583922016 hasConcept C11413529 @default.
- W1583922016 hasConcept C142362112 @default.
- W1583922016 hasConcept C146499914 @default.
- W1583922016 hasConcept C150607116 @default.
- W1583922016 hasConcept C153349607 @default.
- W1583922016 hasConcept C156325763 @default.
- W1583922016 hasConcept C184337299 @default.
- W1583922016 hasConcept C199360897 @default.
- W1583922016 hasConcept C207648694 @default.
- W1583922016 hasConcept C2779231336 @default.
- W1583922016 hasConcept C41008148 @default.
- W1583922016 hasConcept C55439883 @default.
- W1583922016 hasConcept C558565934 @default.
- W1583922016 hasConcept C73301696 @default.
- W1583922016 hasConcept C73752529 @default.
- W1583922016 hasConceptScore W1583922016C11413529 @default.
- W1583922016 hasConceptScore W1583922016C142362112 @default.
- W1583922016 hasConceptScore W1583922016C146499914 @default.
- W1583922016 hasConceptScore W1583922016C150607116 @default.
- W1583922016 hasConceptScore W1583922016C153349607 @default.
- W1583922016 hasConceptScore W1583922016C156325763 @default.
- W1583922016 hasConceptScore W1583922016C184337299 @default.
- W1583922016 hasConceptScore W1583922016C199360897 @default.
- W1583922016 hasConceptScore W1583922016C207648694 @default.
- W1583922016 hasConceptScore W1583922016C2779231336 @default.
- W1583922016 hasConceptScore W1583922016C41008148 @default.
- W1583922016 hasConceptScore W1583922016C55439883 @default.
- W1583922016 hasConceptScore W1583922016C558565934 @default.
- W1583922016 hasConceptScore W1583922016C73301696 @default.
- W1583922016 hasConceptScore W1583922016C73752529 @default.
- W1583922016 hasLocation W15839220161 @default.
- W1583922016 hasOpenAccess W1583922016 @default.
- W1583922016 hasPrimaryLocation W15839220161 @default.
- W1583922016 hasRelatedWork W1515217935 @default.
- W1583922016 hasRelatedWork W1525323093 @default.
- W1583922016 hasRelatedWork W1576391018 @default.
- W1583922016 hasRelatedWork W1605658996 @default.
- W1583922016 hasRelatedWork W194196476 @default.
- W1583922016 hasRelatedWork W1983346515 @default.
- W1583922016 hasRelatedWork W209436825 @default.
- W1583922016 hasRelatedWork W2106707281 @default.
- W1583922016 hasRelatedWork W2167938659 @default.
- W1583922016 hasRelatedWork W2169877058 @default.
- W1583922016 hasRelatedWork W2185919680 @default.
- W1583922016 hasRelatedWork W2261331247 @default.
- W1583922016 hasRelatedWork W2399628779 @default.
- W1583922016 hasRelatedWork W2520127075 @default.
- W1583922016 hasRelatedWork W2604791081 @default.
- W1583922016 hasRelatedWork W2804733059 @default.
- W1583922016 hasRelatedWork W2889864945 @default.
- W1583922016 hasRelatedWork W2981609025 @default.
- W1583922016 hasRelatedWork W3196829961 @default.
- W1583922016 hasRelatedWork W2034742783 @default.
- W1583922016 isParatext "false" @default.
- W1583922016 isRetracted "false" @default.
- W1583922016 magId "1583922016" @default.
- W1583922016 workType "book-chapter" @default.