FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4243803397> ?p ?o ?g. }

• W4243803397 endingPage "286" @default.
• W4243803397 startingPage "275" @default.
• W4243803397 abstract "We introduce the concept of behavioral separation as a general principle for disciplining interference in higher-order imperative concurrent programs, and present a type-based approach that systematically develops the concept in the context of an ML-like language extended with concurrency and synchronization primitives. Behavioral separation builds on notions originally introduced for behavioral type systems and separation logics, but shifts the focus from the separation of static program state properties towards the separation of dynamic usage behaviors of runtime values. Behavioral separation types specify how values may be safely used by client code, and can enforce fine-grained interference control disciplines while preserving compositionality, information hiding, and flexibility. We illustrate how our type system, even if based on a small set of general primitives, is already able to tackle fairly challenging program idioms, involving aliasing at various types, concurrency with first-class threads, manipulation of linked data structures, behavioral borrowing, and invariant-based separation." @default.
• W4243803397 created "2022-05-12" @default.
• W4243803397 creator A5016069660 @default.
• W4243803397 creator A5019928703 @default.
• W4243803397 date "2013-01-23" @default.
• W4243803397 modified "2023-10-18" @default.
• W4243803397 title "The type discipline of behavioral separation" @default.
• W4243803397 cites W1822136335 @default.
• W4243803397 cites W1964976097 @default.
• W4243803397 cites W1972836343 @default.
• W4243803397 cites W1978996774 @default.
• W4243803397 cites W1990409169 @default.
• W4243803397 cites W2021199294 @default.
• W4243803397 cites W2027099721 @default.
• W4243803397 cites W2040105559 @default.
• W4243803397 cites W2044306001 @default.
• W4243803397 cites W2044550200 @default.
• W4243803397 cites W2061341742 @default.
• W4243803397 cites W2076632469 @default.
• W4243803397 cites W2091712774 @default.
• W4243803397 cites W2103957752 @default.
• W4243803397 cites W2104255209 @default.
• W4243803397 cites W2131296609 @default.
• W4243803397 cites W2132761501 @default.
• W4243803397 cites W2132957297 @default.
• W4243803397 cites W2139289583 @default.
• W4243803397 cites W2148687959 @default.
• W4243803397 cites W2151836690 @default.
• W4243803397 cites W2154768716 @default.
• W4243803397 cites W2156428492 @default.
• W4243803397 cites W2160456755 @default.
• W4243803397 cites W2166615267 @default.
• W4243803397 cites W2167998587 @default.
• W4243803397 cites W2169907127 @default.
• W4243803397 cites W2171043779 @default.
• W4243803397 cites W3028779248 @default.
• W4243803397 cites W4240363966 @default.
• W4243803397 cites W4241045451 @default.
• W4243803397 doi "https://doi.org/10.1145/2480359.2429103" @default.
• W4243803397 hasPublicationYear "2013" @default.
• W4243803397 type Work @default.
• W4243803397 citedByCount "5" @default.
• W4243803397 countsByYear W42438033972017 @default.
• W4243803397 countsByYear W42438033972018 @default.
• W4243803397 countsByYear W42438033972020 @default.
• W4243803397 countsByYear W42438033972021 @default.
• W4243803397 crossrefType "journal-article" @default.
• W4243803397 hasAuthorship W4243803397A5016069660 @default.
• W4243803397 hasAuthorship W4243803397A5019928703 @default.
• W4243803397 hasBestOaLocation W42438033972 @default.
• W4243803397 hasConcept C100587491 @default.
• W4243803397 hasConcept C108759981 @default.
• W4243803397 hasConcept C119857082 @default.
• W4243803397 hasConcept C121375916 @default.
• W4243803397 hasConcept C136536468 @default.
• W4243803397 hasConcept C154945302 @default.
• W4243803397 hasConcept C173856430 @default.
• W4243803397 hasConcept C18903297 @default.
• W4243803397 hasConcept C193702766 @default.
• W4243803397 hasConcept C199360897 @default.
• W4243803397 hasConcept C2776061190 @default.
• W4243803397 hasConcept C2777299769 @default.
• W4243803397 hasConcept C2777904410 @default.
• W4243803397 hasConcept C38652104 @default.
• W4243803397 hasConcept C4069607 @default.
• W4243803397 hasConcept C41008148 @default.
• W4243803397 hasConcept C45567728 @default.
• W4243803397 hasConcept C76214141 @default.
• W4243803397 hasConcept C80444323 @default.
• W4243803397 hasConcept C86803240 @default.
• W4243803397 hasConcept C93682546 @default.
• W4243803397 hasConceptScore W4243803397C100587491 @default.
• W4243803397 hasConceptScore W4243803397C108759981 @default.
• W4243803397 hasConceptScore W4243803397C119857082 @default.
• W4243803397 hasConceptScore W4243803397C121375916 @default.
• W4243803397 hasConceptScore W4243803397C136536468 @default.
• W4243803397 hasConceptScore W4243803397C154945302 @default.
• W4243803397 hasConceptScore W4243803397C173856430 @default.
• W4243803397 hasConceptScore W4243803397C18903297 @default.
• W4243803397 hasConceptScore W4243803397C193702766 @default.
• W4243803397 hasConceptScore W4243803397C199360897 @default.
• W4243803397 hasConceptScore W4243803397C2776061190 @default.
• W4243803397 hasConceptScore W4243803397C2777299769 @default.
• W4243803397 hasConceptScore W4243803397C2777904410 @default.
• W4243803397 hasConceptScore W4243803397C38652104 @default.
• W4243803397 hasConceptScore W4243803397C4069607 @default.
• W4243803397 hasConceptScore W4243803397C41008148 @default.
• W4243803397 hasConceptScore W4243803397C45567728 @default.
• W4243803397 hasConceptScore W4243803397C76214141 @default.
• W4243803397 hasConceptScore W4243803397C80444323 @default.
• W4243803397 hasConceptScore W4243803397C86803240 @default.
• W4243803397 hasConceptScore W4243803397C93682546 @default.
• W4243803397 hasIssue "1" @default.
• W4243803397 hasLocation W42438033971 @default.
• W4243803397 hasLocation W42438033972 @default.
• W4243803397 hasOpenAccess W4243803397 @default.
• W4243803397 hasPrimaryLocation W42438033971 @default.
• W4243803397 hasRelatedWork W1596781519 @default.

• next