Towards a theory of parallel algorithms on concrete data structures
نویسندگان
چکیده
منابع مشابه
Towards a Theory of Parallel Algorithms on Concrete Data Structures
Building on Kahn and Plotkin's theory of concrete data structures and sequential functions, Berry and Curien de ned 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 suitabl...
متن کاملContinuous Functions and Parallel Algorithms on Concrete Data Structures
We report progress in two closely related lines of research: the semantic study of sequentiality and parallelism, and the development of a theory of intensional semantics. We generalize Kahn and Plotkin's concrete data structures to obtain a cartesian closed category of generalized concrete data structures and continuous functions. The generalized framework continues to support a de nition of s...
متن کاملConcrete data structures and functional parallel programming
We present a framework for designing parallel programming languages whose semantics is functional and where communications are explicit. To this end, we specialize Brookes and Geva's generalized concrete data structures with a notion of explicit data layout and obtain a CCC of distributed structures called arrays. We nd that arrays' symmetric replicated structures, suggested by the data-paralle...
متن کاملArray Structures and Data-Parallel Algorithms
We integrate the semantics of higher-order functional programs with a notion of explicit static processes as used in BSP and PRAM algorithms. The result is the construction of a cartesian closed category (CCC), a model for typed functional languages. Concrete data structures (CDS) yield many useful CCC and Brookes and Geva have generalised (gCDS) and used them as domains of a CCC whose arrows a...
متن کاملa study on insurer solvency by panel data model: the case of iranian insurance market
the aim of this thesis is an approach for assessing insurer’s solvency for iranian insurance companies. we use of economic data with both time series and cross-sectional variation, thus by using the panel data model will survey the insurer solvency.
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1992
ISSN: 0304-3975
DOI: 10.1016/0304-3975(92)90049-l