FRINK Linked Data Fragments server

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

• W2280241954 endingPage "121" @default.
• W2280241954 startingPage "107" @default.
• W2280241954 abstract "We present a logical relation for showing the correctness of programtransformations based on a new type-and-effect system for a concurrentextension of an ML-like language with higher-order functions,higher-order store and dynamic memory allocation.We show how to use our model to verify a number of interesting programtransformations that rely on effect annotations. In particular, weprove a Parallelization Theorem, which expresses when it is sound torun two expressions in parallel instead of sequentially. Theconditions are expressed solely in terms of the types and effects ofthe expressions. To the best of our knowledge, this is the first suchresult for a concurrent higher-order language with higher-order storeand dynamic memory allocation." @default.
• W2280241954 created "2016-06-24" @default.
• W2280241954 creator A5019115412 @default.
• W2280241954 creator A5047754900 @default.
• W2280241954 creator A5055959064 @default.
• W2280241954 date "2012-01-01" @default.
• W2280241954 modified "2023-09-27" @default.
• W2280241954 title "A Concurrent Logical Relation." @default.
• W2280241954 cites W1552367747 @default.
• W2280241954 cites W1607674807 @default.
• W2280241954 cites W1709253165 @default.
• W2280241954 cites W1819989006 @default.
• W2280241954 cites W1847926715 @default.
• W2280241954 cites W1981363830 @default.
• W2280241954 cites W1988661738 @default.
• W2280241954 cites W2023149698 @default.
• W2280241954 cites W2036967823 @default.
• W2280241954 cites W203992540 @default.
• W2280241954 cites W2046137117 @default.
• W2280241954 cites W2048921878 @default.
• W2280241954 cites W2099470183 @default.
• W2280241954 cites W2099730999 @default.
• W2280241954 cites W2100559921 @default.
• W2280241954 cites W2108153924 @default.
• W2280241954 cites W2109084333 @default.
• W2280241954 cites W2113909714 @default.
• W2280241954 cites W2114834520 @default.
• W2280241954 cites W2125379835 @default.
• W2280241954 cites W2129133667 @default.
• W2280241954 cites W2130505204 @default.
• W2280241954 cites W2132761501 @default.
• W2280241954 cites W2133455247 @default.
• W2280241954 cites W2135620953 @default.
• W2280241954 cites W2139533136 @default.
• W2280241954 cites W2149504509 @default.
• W2280241954 cites W2153128836 @default.
• W2280241954 cites W2166666675 @default.
• W2280241954 cites W2167696897 @default.
• W2280241954 cites W2183354935 @default.
• W2280241954 cites W2761554012 @default.
• W2280241954 doi "https://doi.org/10.4230/lipics.csl.2012.107" @default.
• W2280241954 hasPublicationYear "2012" @default.
• W2280241954 type Work @default.
• W2280241954 sameAs 2280241954 @default.
• W2280241954 citedByCount "10" @default.
• W2280241954 countsByYear W22802419542014 @default.
• W2280241954 countsByYear W22802419542015 @default.
• W2280241954 countsByYear W22802419542016 @default.
• W2280241954 countsByYear W22802419542018 @default.
• W2280241954 countsByYear W22802419542019 @default.
• W2280241954 countsByYear W22802419542021 @default.
• W2280241954 countsByYear W22802419542022 @default.
• W2280241954 countsByYear W22802419542023 @default.
• W2280241954 crossrefType "proceedings-article" @default.
• W2280241954 hasAuthorship W2280241954A5019115412 @default.
• W2280241954 hasAuthorship W2280241954A5047754900 @default.
• W2280241954 hasAuthorship W2280241954A5055959064 @default.
• W2280241954 hasConcept C10138342 @default.
• W2280241954 hasConcept C162324750 @default.
• W2280241954 hasConcept C173608175 @default.
• W2280241954 hasConcept C182306322 @default.
• W2280241954 hasConcept C193702766 @default.
• W2280241954 hasConcept C199360897 @default.
• W2280241954 hasConcept C25343380 @default.
• W2280241954 hasConcept C2778029271 @default.
• W2280241954 hasConcept C41008148 @default.
• W2280241954 hasConcept C55439883 @default.
• W2280241954 hasConcept C77088390 @default.
• W2280241954 hasConcept C80444323 @default.
• W2280241954 hasConceptScore W2280241954C10138342 @default.
• W2280241954 hasConceptScore W2280241954C162324750 @default.
• W2280241954 hasConceptScore W2280241954C173608175 @default.
• W2280241954 hasConceptScore W2280241954C182306322 @default.
• W2280241954 hasConceptScore W2280241954C193702766 @default.
• W2280241954 hasConceptScore W2280241954C199360897 @default.
• W2280241954 hasConceptScore W2280241954C25343380 @default.
• W2280241954 hasConceptScore W2280241954C2778029271 @default.
• W2280241954 hasConceptScore W2280241954C41008148 @default.
• W2280241954 hasConceptScore W2280241954C55439883 @default.
• W2280241954 hasConceptScore W2280241954C77088390 @default.
• W2280241954 hasConceptScore W2280241954C80444323 @default.
• W2280241954 hasLocation W22802419541 @default.
• W2280241954 hasOpenAccess W2280241954 @default.
• W2280241954 hasPrimaryLocation W22802419541 @default.
• W2280241954 hasRelatedWork W1965602413 @default.
• W2280241954 hasRelatedWork W1988661738 @default.
• W2280241954 hasRelatedWork W1991984504 @default.
• W2280241954 hasRelatedWork W1993301893 @default.
• W2280241954 hasRelatedWork W2022949157 @default.
• W2280241954 hasRelatedWork W2028861803 @default.
• W2280241954 hasRelatedWork W2036967823 @default.
• W2280241954 hasRelatedWork W2048921878 @default.
• W2280241954 hasRelatedWork W2062024564 @default.
• W2280241954 hasRelatedWork W2076954302 @default.
• W2280241954 hasRelatedWork W2081281361 @default.
• W2280241954 hasRelatedWork W2099470183 @default.
• W2280241954 hasRelatedWork W2100559921 @default.
• W2280241954 hasRelatedWork W2101443478 @default.

• next