Matches in SemOpenAlex for { <https://semopenalex.org/work/W2068076144> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2068076144 endingPage "221" @default.
- W2068076144 startingPage "177" @default.
- W2068076144 abstract "Building on Kahn and Plotkin's theory of concrete data structures and sequential functions, Berry and Curien defined an intensional model of sequential algorithms between concrete data structures. In this paper we report on an attempt to develop a similar intensional model of concurrent computation. We present a notion of parallel algorithm between concrete data structures, together with suitable application and currying operations. We define an intensional strictness ordering on parallel algorithms, with respect to which application is well behaved (at first-order types). We define the input—output function computed by a parallel algorithm, and we show that every parallel algorithm computes a continuous function. Thus, a parallel algorithm may be viewed as a continuous function together with a parallel computation strategy. In contrast, a Berry—Curien sequential algorithm may be viewed as a sequential function together with a sequential computation strategy. The intensional strictness ordering on parallel algorithms corresponds to the pointwise ordering on the functions they compute, in the same sense that the set-inclusion ordering used by Berry and Curien on sequential algorithms corresponds to the stable ordering on the functions they compute. We believe that the ideas and results presented here constitute a first step towards a fuller understanding of the intensional semantics of parallelism, even though the model presented here is not yet general enough to provide a satisfactory account of higher-order algorithms, and lacks a notion of composition for algorithms. We present some ideas for overcoming these deficiencies and some directions for further research." @default.
- W2068076144 created "2016-06-24" @default.
- W2068076144 creator A5006343294 @default.
- W2068076144 creator A5075215244 @default.
- W2068076144 date "1992-07-01" @default.
- W2068076144 modified "2023-09-26" @default.
- W2068076144 title "Towards a theory of parallel algorithms on concrete data structures" @default.
- W2068076144 cites W128738456 @default.
- W2068076144 cites W1514119099 @default.
- W2068076144 cites W1533301653 @default.
- W2068076144 cites W1535347731 @default.
- W2068076144 cites W1540927034 @default.
- W2068076144 cites W1966181449 @default.
- W2068076144 cites W1978840985 @default.
- W2068076144 cites W2007270285 @default.
- W2068076144 cites W2039112578 @default.
- W2068076144 cites W2169274368 @default.
- W2068076144 cites W2180882461 @default.
- W2068076144 cites W633421911 @default.
- W2068076144 doi "https://doi.org/10.1016/0304-3975(92)90049-l" @default.
- W2068076144 hasPublicationYear "1992" @default.
- W2068076144 type Work @default.
- W2068076144 sameAs 2068076144 @default.
- W2068076144 citedByCount "2" @default.
- W2068076144 crossrefType "journal-article" @default.
- W2068076144 hasAuthorship W2068076144A5006343294 @default.
- W2068076144 hasAuthorship W2068076144A5075215244 @default.
- W2068076144 hasBestOaLocation W20680761441 @default.
- W2068076144 hasConcept C11413529 @default.
- W2068076144 hasConcept C120373497 @default.
- W2068076144 hasConcept C134306372 @default.
- W2068076144 hasConcept C14036430 @default.
- W2068076144 hasConcept C162319229 @default.
- W2068076144 hasConcept C173608175 @default.
- W2068076144 hasConcept C177264268 @default.
- W2068076144 hasConcept C184337299 @default.
- W2068076144 hasConcept C199360897 @default.
- W2068076144 hasConcept C2777984123 @default.
- W2068076144 hasConcept C2781172179 @default.
- W2068076144 hasConcept C33923547 @default.
- W2068076144 hasConcept C41008148 @default.
- W2068076144 hasConcept C45374587 @default.
- W2068076144 hasConcept C538114610 @default.
- W2068076144 hasConcept C78458016 @default.
- W2068076144 hasConcept C80444323 @default.
- W2068076144 hasConcept C86803240 @default.
- W2068076144 hasConceptScore W2068076144C11413529 @default.
- W2068076144 hasConceptScore W2068076144C120373497 @default.
- W2068076144 hasConceptScore W2068076144C134306372 @default.
- W2068076144 hasConceptScore W2068076144C14036430 @default.
- W2068076144 hasConceptScore W2068076144C162319229 @default.
- W2068076144 hasConceptScore W2068076144C173608175 @default.
- W2068076144 hasConceptScore W2068076144C177264268 @default.
- W2068076144 hasConceptScore W2068076144C184337299 @default.
- W2068076144 hasConceptScore W2068076144C199360897 @default.
- W2068076144 hasConceptScore W2068076144C2777984123 @default.
- W2068076144 hasConceptScore W2068076144C2781172179 @default.
- W2068076144 hasConceptScore W2068076144C33923547 @default.
- W2068076144 hasConceptScore W2068076144C41008148 @default.
- W2068076144 hasConceptScore W2068076144C45374587 @default.
- W2068076144 hasConceptScore W2068076144C538114610 @default.
- W2068076144 hasConceptScore W2068076144C78458016 @default.
- W2068076144 hasConceptScore W2068076144C80444323 @default.
- W2068076144 hasConceptScore W2068076144C86803240 @default.
- W2068076144 hasIssue "2" @default.
- W2068076144 hasLocation W20680761441 @default.
- W2068076144 hasLocation W20680761442 @default.
- W2068076144 hasLocation W20680761443 @default.
- W2068076144 hasOpenAccess W2068076144 @default.
- W2068076144 hasPrimaryLocation W20680761441 @default.
- W2068076144 hasRelatedWork W12026041 @default.
- W2068076144 hasRelatedWork W1988666619 @default.
- W2068076144 hasRelatedWork W2112708371 @default.
- W2068076144 hasRelatedWork W2115171349 @default.
- W2068076144 hasRelatedWork W2348761119 @default.
- W2068076144 hasRelatedWork W2519106983 @default.
- W2068076144 hasRelatedWork W2624454569 @default.
- W2068076144 hasRelatedWork W3160001291 @default.
- W2068076144 hasRelatedWork W4287181681 @default.
- W2068076144 hasRelatedWork W46965355 @default.
- W2068076144 hasVolume "101" @default.
- W2068076144 isParatext "false" @default.
- W2068076144 isRetracted "false" @default.
- W2068076144 magId "2068076144" @default.
- W2068076144 workType "article" @default.