Concrete data structures and functional parallel programming

A framework is presented for designing parallel programming languages whose semantics is functional and where communications are explicit. To this end, Brookes and Geva's generalized concrete data structures are specialized with a notion of explicit data layout to yield a CCC of distributed str...

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science Vol. 258; no. 1; pp. 233 - 267
Main Authors: Hains, Gaétan, Loulergue, Frédéric, Mullins, John
Format: Journal Article
Language:English
Published: Amsterdam Elsevier B.V 2001
Elsevier
Subjects:
Applied sciences
Computer Science
Computer science; control theory; systems
Concrete data structures
Deterministic parallel programming
Exact sciences and technology
Functional programming
Language theory and syntactical analysis
Semantic models
Theoretical computing
Concrete data structures
Functional programming
Semantic models
Deterministic parallel programming
Parallel programming
Semantics
Sequential language
Berry Curien exponential
Concrete data structure
Data structure
Deterministic approach
semantic model
Programming theory
ISSN:0304-3975, 1879-2294
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract A framework is presented for designing parallel programming languages whose semantics is functional and where communications are explicit. To this end, Brookes and Geva's generalized concrete data structures are specialized with a notion of explicit data layout to yield a CCC of distributed structures called arrays. Arrays’ symmetric replicated structures, suggested by the data-parallel SPMD paradigm, are found to be incompatible with sum types. We then outline a functional language with explicitly distributed (monomorphic) concrete types, including higher-order, sum and recursive ones. In this language, programs can be as large as the network and can observe communication events in other programs. Such flexibility is missing from current data-parallel languages and amounts to a fusion with their so-called annotations, directives or meta-languages.
AbstractList A framework is presented for designing parallel programming languages whose semantics is functional and where communications are explicit. To this end, Brookes and Geva's generalized concrete data structures are specialized with a notion of explicit data layout to yield a CCC of distributed structures called arrays. Arrays' symmetric replicated structures, suggested by the data-parallel SPMD paradigm, are found to be incompatible with sum types. We then outline a functional language with explicitly distributed (monomorphic) concrete types, including higher-order, sum and recursive ones. In this language, programs can be as large as the network and can observe communication events in other programs. Such flexibility is missing from current data-parallel languages and amounts to a fusion with their so-called annotations, directives or meta-languages. copyright 2001 Elsevier Science B.V. All rights reserved.
A framework is presented for designing parallel programming languages whose semantics is functional and where communications are explicit. To this end, Brookes and Geva's generalized concrete data structures are specialized with a notion of explicit data layout to yield a CCC of distributed structures called arrays. Arrays’ symmetric replicated structures, suggested by the data-parallel SPMD paradigm, are found to be incompatible with sum types. We then outline a functional language with explicitly distributed (monomorphic) concrete types, including higher-order, sum and recursive ones. In this language, programs can be as large as the network and can observe communication events in other programs. Such flexibility is missing from current data-parallel languages and amounts to a fusion with their so-called annotations, directives or meta-languages.
Author Hains, Gaétan
Mullins, John
Loulergue, Frédéric
Author_xml – sequence: 1
  givenname: Gaétan
  surname: Hains
  fullname: Hains, Gaétan
  email: gaetan.hains@lifo.univ-orleans.fr
  organization: LIFO, Université d'Orléans, BP 6759, 45067 Orléans Cedex 2, France
– sequence: 2
  givenname: Frédéric
  surname: Loulergue
  fullname: Loulergue, Frédéric
  organization: LIFO, Université d'Orléans, BP 6759, 45067 Orléans Cedex 2, France
– sequence: 3
  givenname: John
  surname: Mullins
  fullname: Mullins, John
  organization: DGEGI, Ecole Polytechnique, C.P. 6079, Succ. Centre-Ville, Montréal (Québec), Canada H3C 3A7
BackLink http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=960334$$DView record in Pascal Francis
https://hal.science/hal-04047958$$DView record in HAL
BookMark eNqFkN9LHDEQx0NR6Kn9EwoLhVIfViebZLMBochRf8CBD-pzmEsmNmUvq8mu4H_fPU_u1XmZYfjMl-FzxA7SkIix7xzOOPD2_B4EyFoYrX4BnAIAh1p-YQveaVM3jZEHbLFHvrKjUv7NECjdLtjFckgu00iVxxGrMubJjVOmUmHyVZiSG-OQsK-eMWPf0zzk4SnjZhPT0wk7DNgX-vbRj9nj1Z-H5U29uru-XV6uaidkN9YSqAnr1nPhQ2hM8I1pSSvDFfl18NwoJYC0DGu5JpSd7jx61VLbBA2gnThmp7vcv9jb5xw3mN_sgNHeXK7sdgcSpDaqe-Uz-3PHzn--TFRGu4nFUd9jomEqtmnnEqaZwR8fIBaHfciYXCz7eNOCEHKm1I5yeSglU9gDHOzWvn23b7dqLYB9t2-3d793dzR7eY2UbXGRkiMfM7nR-iF-kvAfTBeNNQ
CODEN TCSCDI
Cites_doi 10.1007/3-540-61626-8_3
10.1007/BFb0002779
10.1006/inco.1994.1047
10.1007/BFb0024730
10.1145/224164.224185
10.1007/3-540-54430-5_102
10.1007/3-540-61626-8_95
10.1016/B978-0-444-88074-1.50017-2
10.1007/3-540-55511-0_17
10.1007/3-540-61736-1_50
10.1007/3-540-61626-8_1
10.1007/3-540-61626-8_4
10.1007/BFb0024677
10.1145/800223.806762
10.1017/CBO9780511525902.003
10.1145/107214.129259
10.1016/0304-3975(93)90090-G
ContentType Journal Article
Copyright 2001 Elsevier Science B.V.
2001 INIST-CNRS
Distributed under a Creative Commons Attribution 4.0 International License
Copyright_xml – notice: 2001 Elsevier Science B.V.
– notice: 2001 INIST-CNRS
– notice: Distributed under a Creative Commons Attribution 4.0 International License
DBID 6I.
AAFTH
AAYXX
CITATION
IQODW
7SC
8FD
JQ2
L7M
L~C
L~D
1XC
DOI 10.1016/S0304-3975(00)00010-4
DatabaseName ScienceDirect Open Access Titles
Elsevier:ScienceDirect:Open Access
CrossRef
Pascal-Francis
Computer and Information Systems Abstracts
Technology Research Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
Hyper Article en Ligne (HAL)
DatabaseTitle CrossRef
Computer and Information Systems Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Advanced Technologies Database with Aerospace
ProQuest Computer Science Collection
Computer and Information Systems Abstracts Professional
DatabaseTitleList Computer and Information Systems Abstracts
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
Computer Science
Applied Sciences
EISSN 1879-2294
EndPage 267
ExternalDocumentID oai:HAL:hal-04047958v1
960334
10_1016_S0304_3975_00_00010_4
S0304397500000104
GroupedDBID --K
--M
-~X
.DC
.~1
0R~
123
1B1
1RT
1~.
1~5
29Q
4.4
457
4G.
5VS
6I.
7-5
71M
8P~
9JN
AABNK
AACTN
AAEDT
AAEDW
AAFTH
AAIAV
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAQXK
AAXUO
AAYFN
ABAOU
ABBOA
ABEFU
ABFNM
ABJNI
ABMAC
ABTAH
ABVKL
ABXDB
ABYKQ
ACAZW
ACDAQ
ACGFS
ACNNM
ACRLP
ACZNC
ADBBV
ADEZE
ADMUD
AEBSH
AEKER
AENEX
AEXQZ
AFKWA
AFTJW
AGHFR
AGUBO
AGYEJ
AHHHB
AHZHX
AIALX
AIEXJ
AIKHN
AITUG
AJBFU
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
AOUOD
ARUGR
ASPBG
AVWKF
AXJTR
AZFZN
BKOJK
BLXMC
CS3
DU5
EBS
EFJIC
EFLBG
EJD
EO8
EO9
EP2
EP3
F5P
FDB
FEDTE
FGOYB
FIRID
FNPLU
FYGXN
G-2
G-Q
G8K
GBLVA
GBOLZ
HVGLF
HZ~
IHE
IXB
J1W
KOM
LG9
M26
M41
MHUIS
MO0
N9A
NCXOZ
O-L
O9-
OAUVE
OK1
OZT
P-8
P-9
P2P
PC.
Q38
R2-
RIG
ROL
RPZ
SCC
SDF
SDG
SES
SEW
SPC
SPCBC
SSV
SSW
SSZ
T5K
TAE
TN5
WH7
WUQ
XJT
YNT
ZMT
ZY4
~G-
9DU
AATTM
AAXKI
AAYWO
AAYXX
ABDPE
ABWVN
ACLOT
ACRPL
ACVFH
ADCNI
ADNMO
ADVLN
AEIPS
AEUPX
AFJKZ
AFPUW
AGQPQ
AIGII
AIIUN
AKBMS
AKRWK
AKYEP
ANKPU
APXCP
CITATION
EFKBS
~HD
AFXIZ
AGCQF
AGRNS
BNPGV
IQODW
SSH
7SC
8FD
JQ2
L7M
L~C
L~D
1XC
ID FETCH-LOGICAL-c348t-40e2fb6d13dff29fd296e75915edbfd195530e74fb4bea4878dad56e62f7007c3
ISICitedReferencesCount 1
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000168502800006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0304-3975
IngestDate Tue Oct 14 20:37:13 EDT 2025
Sun Sep 28 06:38:19 EDT 2025
Mon Jul 21 09:14:00 EDT 2025
Sat Nov 29 06:16:34 EST 2025
Fri Feb 23 02:23:13 EST 2024
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 1
Keywords Concrete data structures
Functional programming
Semantic models
Deterministic parallel programming
Parallel programming
Semantics
Sequential language
Berry Curien exponential
Concrete data structure
Data structure
Deterministic approach
semantic model
Programming theory
Language English
License http://www.elsevier.com/open-access/userlicense/1.0
https://www.elsevier.com/tdm/userlicense/1.0
https://www.elsevier.com/open-access/userlicense/1.0
CC BY 4.0
Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c348t-40e2fb6d13dff29fd296e75915edbfd195530e74fb4bea4878dad56e62f7007c3
Notes ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ORCID 0000-0002-1687-8091
OpenAccessLink https://dx.doi.org/10.1016/S0304-3975(00)00010-4
PQID 26666392
PQPubID 23500
PageCount 35
ParticipantIDs hal_primary_oai_HAL_hal_04047958v1
proquest_miscellaneous_26666392
pascalfrancis_primary_960334
crossref_primary_10_1016_S0304_3975_00_00010_4
elsevier_sciencedirect_doi_10_1016_S0304_3975_00_00010_4
PublicationCentury 2000
PublicationDate 2001-00-00
PublicationDateYYYYMMDD 2001-01-01
PublicationDate_xml – year: 2001
  text: 2001-00-00
PublicationDecade 2000
PublicationPlace Amsterdam
PublicationPlace_xml – name: Amsterdam
PublicationTitle Theoretical computer science
PublicationYear 2001
Publisher Elsevier B.V
Elsevier
Publisher_xml – name: Elsevier B.V
– name: Elsevier
References Asperti, Longo (BIB1) 1991
Kahn, Plotkin (BIB18) 1993; 121
G. Berry, Programming with concrete data structures and sequential algorithms, in: Conference on Functional Programming Languages and Computer Architecture, ACM, October 1981, Portsmouth, New Hampshire, ACM Press, pp. 49–57.
L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par’96 Parallel Processing, Lecture Notes in Computer Science, vol. 1123–1124, Lyon, LIP-ENSL, Springer, Berlin, August 1996.
Pelagatti (BIB24) 1997
Jay, Cole, Sekanina, Steckler (BIB17) 1997; vol. 1300
M. Chen, Y.-Il Choo, J. Li, Crystal: theory and pragmatics of generating efficient parallel code, in: B.K. Szymanski (Ed.), Parallel Functional Languages and Compilers, ACM Press, New York, 1991, p. 7).
Berry, Curien (BIB3) 1985
E. Rahm, Dynamic load balancing in parallel database systems in: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par’96 Parallel Processing, Lecture Notes in Computer Science, vol. 1123–1124, Lyon, LIP-ENSL, Springer, Berlin, August 1996.
R. Mirani, P. Hudak, First-class schedules and virtual maps, in: Proc. 7th Ann. Conf. on Functional Programming Languages and Computer Architecture, FPCA’95, La Jolla, CA, ACM Press, 1995.
W.F. McColl, Universal computing in: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par’96 Parallel Processing, Lecture Notes in Computer Science, vol. 1123–1124, Lyon, LIP-ENSL, Springer, Berlin, August 1996.
Bougé (BIB5) 1993; 12
Cartwright, Curien, Felleisen (BIB9) 1994; 111
Cole (BIB11) 1989
G.H. Botorog, H. Kuchen, Efficient parallel programming with algorithmic skeletons, in: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par’96 Parallel Processing, Lecture Notes in Computer Science, vol. 1123–1124, Lyon, LIP-ENSL, Springer, Berlin, August 1996.
G. Hains, J. Mullins, Array structures and data-parallel algorithms, Research Note RR-95-1E, ISIS, Fujitsu Labs, Makuhari, Japan, 1995.
B. Lisper, Data parallelism and functional programming, in: École de Printemps sur le Data-Parallélisme, Les Menuires, France, PRC-CNRS, Springer, Berlin, 1996.
Curien (BIB12) 1993
C.A. Gunter, D.S. Scott, Semantic domains, in: J. Van Leeuwen (Ed.), Handbook of Theoretical Computer Science, North-Holland, MIT-Press, Amsterdam, Cambridge, MA, 1990.
S. Brookes, S. Geva, Continuous functions and parallel algorithms on concrete data structures, in: MFPS’91, Lecture Notes in Computer Science, Springer, Berlin, 1991.
Skillicorn (BIB26) 1994; vol. 6
I. Foster, High-performance distributed computing: the I-WAY experiment and beyond in: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par’96 Parallel Processing, Lecture Notes in Computer Science, vol. 1123–1124, Lyon, LIP-ENSL, Springer, Berlin, August 1996.
S. Brookes, S. Geva, Computational comonads and intensional semantics, in: M.P. Fourman, P.T. Johnstone, A.M. Pitts (Eds.), Applications of Categories in Computer Science, London Mathematical Society Lecture Note Series, vol. 177, Durham, Proceedings of the LMS Symposium, Cambridge University Press, Cambridge, 1991.
G. Hains, J. Mullins, Array structures and data-parallel algorithms in: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par’96, Lecture Notes in Computer Science, vol. 1124, Lyon, LIP-ENSL, Springer, Berlin, 1996, pp. 409–416.
P. Krishnan, Distributed CCS, in: Theories of Concurrency: Unification and Extension: CONCUR-91, Lecture Notes in Computer Science, vol. 407, Springer, Berlin, August 1991, pp. 393–407.
F. Loulergue, G. Hains, Parallel functional programming with explicit processes: beyond SPMD, in: C. Lengauer, M. Griebl, S. Gorlatch (Eds.), Euro-Par’97 Parallel Processing, Lecture Notes in Computer Science, vol. 1300, Passau, Germany, Springer, Berlin, August 1997, pp. 530–537.
Winskel (BIB27) 1986; vol. 255
10.1016/S0304-3975(00)00010-4_BIB7
10.1016/S0304-3975(00)00010-4_BIB6
Winskel (10.1016/S0304-3975(00)00010-4_BIB27) 1986; vol. 255
10.1016/S0304-3975(00)00010-4_BIB8
10.1016/S0304-3975(00)00010-4_BIB25
10.1016/S0304-3975(00)00010-4_BIB2
10.1016/S0304-3975(00)00010-4_BIB4
Kahn (10.1016/S0304-3975(00)00010-4_BIB18) 1993; 121
Skillicorn (10.1016/S0304-3975(00)00010-4_BIB26) 1994; vol. 6
10.1016/S0304-3975(00)00010-4_BIB10
Asperti (10.1016/S0304-3975(00)00010-4_BIB1) 1991
10.1016/S0304-3975(00)00010-4_BIB15
10.1016/S0304-3975(00)00010-4_BIB16
10.1016/S0304-3975(00)00010-4_BIB13
10.1016/S0304-3975(00)00010-4_BIB14
10.1016/S0304-3975(00)00010-4_BIB19
Curien (10.1016/S0304-3975(00)00010-4_BIB12) 1993
Bougé (10.1016/S0304-3975(00)00010-4_BIB5) 1993; 12
Cartwright (10.1016/S0304-3975(00)00010-4_BIB9) 1994; 111
Jay (10.1016/S0304-3975(00)00010-4_BIB17) 1997; vol. 1300
Cole (10.1016/S0304-3975(00)00010-4_BIB11) 1989
Pelagatti (10.1016/S0304-3975(00)00010-4_BIB24) 1997
10.1016/S0304-3975(00)00010-4_BIB22
Berry (10.1016/S0304-3975(00)00010-4_BIB3) 1985
10.1016/S0304-3975(00)00010-4_BIB23
10.1016/S0304-3975(00)00010-4_BIB20
10.1016/S0304-3975(00)00010-4_BIB21
References_xml – volume: 111
  start-page: 297
  year: 1994
  end-page: 401
  ident: BIB9
  article-title: Fully abstract semantics for observably sequential languages
  publication-title: Inform. and Comput.
– reference: S. Brookes, S. Geva, Continuous functions and parallel algorithms on concrete data structures, in: MFPS’91, Lecture Notes in Computer Science, Springer, Berlin, 1991.
– year: 1989
  ident: BIB11
  publication-title: Algorithmic Skeletons: Structured Management of Parallel Computation
– reference: S. Brookes, S. Geva, Computational comonads and intensional semantics, in: M.P. Fourman, P.T. Johnstone, A.M. Pitts (Eds.), Applications of Categories in Computer Science, London Mathematical Society Lecture Note Series, vol. 177, Durham, Proceedings of the LMS Symposium, Cambridge University Press, Cambridge, 1991.
– reference: C.A. Gunter, D.S. Scott, Semantic domains, in: J. Van Leeuwen (Ed.), Handbook of Theoretical Computer Science, North-Holland, MIT-Press, Amsterdam, Cambridge, MA, 1990.
– reference: G. Berry, Programming with concrete data structures and sequential algorithms, in: Conference on Functional Programming Languages and Computer Architecture, ACM, October 1981, Portsmouth, New Hampshire, ACM Press, pp. 49–57.
– reference: B. Lisper, Data parallelism and functional programming, in: École de Printemps sur le Data-Parallélisme, Les Menuires, France, PRC-CNRS, Springer, Berlin, 1996.
– reference: G. Hains, J. Mullins, Array structures and data-parallel algorithms in: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par’96, Lecture Notes in Computer Science, vol. 1124, Lyon, LIP-ENSL, Springer, Berlin, 1996, pp. 409–416.
– volume: vol. 255
  year: 1986
  ident: BIB27
  article-title: Event structures
  publication-title: Petri Nets
– year: 1993
  ident: BIB12
  publication-title: Categorical Combinators, Sequential Algorithms and Functional Programming
– volume: 121
  start-page: 187
  year: 1993
  end-page: 277
  ident: BIB18
  article-title: Concrete domains
  publication-title: Theoret. Comput. Sci.
– volume: 12
  year: 1993
  ident: BIB5
  article-title: Le modèle de programmation à parallélisme de données: une perspective sémantique
  publication-title: RAIRO Technique et Science Informatiques
– reference: G.H. Botorog, H. Kuchen, Efficient parallel programming with algorithmic skeletons, in: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par’96 Parallel Processing, Lecture Notes in Computer Science, vol. 1123–1124, Lyon, LIP-ENSL, Springer, Berlin, August 1996.
– reference: M. Chen, Y.-Il Choo, J. Li, Crystal: theory and pragmatics of generating efficient parallel code, in: B.K. Szymanski (Ed.), Parallel Functional Languages and Compilers, ACM Press, New York, 1991, p. 7).
– reference: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par’96 Parallel Processing, Lecture Notes in Computer Science, vol. 1123–1124, Lyon, LIP-ENSL, Springer, Berlin, August 1996.
– reference: E. Rahm, Dynamic load balancing in parallel database systems in: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par’96 Parallel Processing, Lecture Notes in Computer Science, vol. 1123–1124, Lyon, LIP-ENSL, Springer, Berlin, August 1996.
– reference: R. Mirani, P. Hudak, First-class schedules and virtual maps, in: Proc. 7th Ann. Conf. on Functional Programming Languages and Computer Architecture, FPCA’95, La Jolla, CA, ACM Press, 1995.
– reference: W.F. McColl, Universal computing in: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par’96 Parallel Processing, Lecture Notes in Computer Science, vol. 1123–1124, Lyon, LIP-ENSL, Springer, Berlin, August 1996.
– volume: vol. 6
  year: 1994
  ident: BIB26
  article-title: Foundations of Parallel Processing
  publication-title: International Series on Parallel Computation
– reference: G. Hains, J. Mullins, Array structures and data-parallel algorithms, Research Note RR-95-1E, ISIS, Fujitsu Labs, Makuhari, Japan, 1995.
– volume: vol. 1300
  start-page: 650
  year: 1997
  end-page: 661
  ident: BIB17
  article-title: A monadic calculus for parallel costing of a functional language of arrays
  publication-title: Euro-Par’97, Lecture Notes in Computer Science
– year: 1991
  ident: BIB1
  publication-title: Categories, Types and Structures
– reference: F. Loulergue, G. Hains, Parallel functional programming with explicit processes: beyond SPMD, in: C. Lengauer, M. Griebl, S. Gorlatch (Eds.), Euro-Par’97 Parallel Processing, Lecture Notes in Computer Science, vol. 1300, Passau, Germany, Springer, Berlin, August 1997, pp. 530–537.
– reference: P. Krishnan, Distributed CCS, in: Theories of Concurrency: Unification and Extension: CONCUR-91, Lecture Notes in Computer Science, vol. 407, Springer, Berlin, August 1991, pp. 393–407.
– reference: I. Foster, High-performance distributed computing: the I-WAY experiment and beyond in: L. Bougé, P. Fraigniaud, A. Mignotte, Y. Robert (Eds.), Euro-Par’96 Parallel Processing, Lecture Notes in Computer Science, vol. 1123–1124, Lyon, LIP-ENSL, Springer, Berlin, August 1996.
– start-page: 35
  year: 1985
  end-page: 84
  ident: BIB3
  article-title: Theory and practice of sequential algorithms
  publication-title: Algebraic Semantics
– year: 1997
  ident: BIB24
  publication-title: Structured Development of Parallel Programs
– start-page: 35
  year: 1985
  ident: 10.1016/S0304-3975(00)00010-4_BIB3
  article-title: Theory and practice of sequential algorithms
– ident: 10.1016/S0304-3975(00)00010-4_BIB22
  doi: 10.1007/3-540-61626-8_3
– ident: 10.1016/S0304-3975(00)00010-4_BIB21
  doi: 10.1007/BFb0002779
– volume: 111
  start-page: 297
  issue: 2
  year: 1994
  ident: 10.1016/S0304-3975(00)00010-4_BIB9
  article-title: Fully abstract semantics for observably sequential languages
  publication-title: Inform. and Comput.
  doi: 10.1006/inco.1994.1047
– ident: 10.1016/S0304-3975(00)00010-4_BIB16
  doi: 10.1007/BFb0024730
– volume: vol. 1300
  start-page: 650
  year: 1997
  ident: 10.1016/S0304-3975(00)00010-4_BIB17
  article-title: A monadic calculus for parallel costing of a functional language of arrays
– year: 1993
  ident: 10.1016/S0304-3975(00)00010-4_BIB12
– volume: vol. 6
  year: 1994
  ident: 10.1016/S0304-3975(00)00010-4_BIB26
  article-title: Foundations of Parallel Processing
– ident: 10.1016/S0304-3975(00)00010-4_BIB23
  doi: 10.1145/224164.224185
– ident: 10.1016/S0304-3975(00)00010-4_BIB19
  doi: 10.1007/3-540-54430-5_102
– ident: 10.1016/S0304-3975(00)00010-4_BIB4
  doi: 10.1007/3-540-61626-8_95
– volume: 12
  issue: 5
  year: 1993
  ident: 10.1016/S0304-3975(00)00010-4_BIB5
  article-title: Le modèle de programmation à parallélisme de données: une perspective sémantique
  publication-title: RAIRO Technique et Science Informatiques
– ident: 10.1016/S0304-3975(00)00010-4_BIB14
  doi: 10.1016/B978-0-444-88074-1.50017-2
– year: 1991
  ident: 10.1016/S0304-3975(00)00010-4_BIB1
– ident: 10.1016/S0304-3975(00)00010-4_BIB8
  doi: 10.1007/3-540-55511-0_17
– ident: 10.1016/S0304-3975(00)00010-4_BIB20
  doi: 10.1007/3-540-61736-1_50
– ident: 10.1016/S0304-3975(00)00010-4_BIB13
  doi: 10.1007/3-540-61626-8_1
– ident: 10.1016/S0304-3975(00)00010-4_BIB25
  doi: 10.1007/3-540-61626-8_4
– ident: 10.1016/S0304-3975(00)00010-4_BIB6
  doi: 10.1007/BFb0024677
– year: 1989
  ident: 10.1016/S0304-3975(00)00010-4_BIB11
– ident: 10.1016/S0304-3975(00)00010-4_BIB2
  doi: 10.1145/800223.806762
– ident: 10.1016/S0304-3975(00)00010-4_BIB7
  doi: 10.1017/CBO9780511525902.003
– ident: 10.1016/S0304-3975(00)00010-4_BIB10
  doi: 10.1145/107214.129259
– volume: vol. 255
  year: 1986
  ident: 10.1016/S0304-3975(00)00010-4_BIB27
  article-title: Event structures
– ident: 10.1016/S0304-3975(00)00010-4_BIB15
– volume: 121
  start-page: 187
  year: 1993
  ident: 10.1016/S0304-3975(00)00010-4_BIB18
  article-title: Concrete domains
  publication-title: Theoret. Comput. Sci.
  doi: 10.1016/0304-3975(93)90090-G
– year: 1997
  ident: 10.1016/S0304-3975(00)00010-4_BIB24
SSID ssj0000576
Score 1.596762
Snippet A framework is presented for designing parallel programming languages whose semantics is functional and where communications are explicit. To this end, Brookes...
SourceID hal
proquest
pascalfrancis
crossref
elsevier
SourceType Open Access Repository
Aggregation Database
Index Database
Publisher
StartPage 233
SubjectTerms Applied sciences
Computer Science
Computer science; control theory; systems
Concrete data structures
Deterministic parallel programming
Exact sciences and technology
Functional programming
Language theory and syntactical analysis
Semantic models
Theoretical computing
Title Concrete data structures and functional parallel programming
URI https://dx.doi.org/10.1016/S0304-3975(00)00010-4
https://www.proquest.com/docview/26666392
https://hal.science/hal-04047958
Volume 258
WOSCitedRecordID wos000168502800006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVESC
  databaseName: Elsevier SD Freedom Collection Journals 2021
  customDbUrl:
  eissn: 1879-2294
  dateEnd: 20180131
  omitProxy: false
  ssIdentifier: ssj0000576
  issn: 0304-3975
  databaseCode: AIEXJ
  dateStart: 19950109
  isFulltext: true
  titleUrlDefault: https://www.sciencedirect.com
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1bb9MwFLa6jgcQ4jJAFAZEiAdQleEkjh1LvFTTYKAxITFQ3yLbsWEopFVv7OdzXNtJx8RlD0hVWlmtk_r7dC4-x-cg9IwowlJMZYxVYWJCBYsFE7YQZC4lFkZl616Hn4_Y8XExHvMPvd6PcBZmVbOmKc7O-PS_Qg1jALY9OnsJuNtJYQA-A-hwBdjh-k_A708asAQXemiTP4euPuwSnOp1mMCqMb_7Z4t-17WuQ4rW96DEvrUEao84Kt_7YegVZie3_Hb1G-Ei7ouNFJ_JstazL0uXP-wj8pV7m52qDmlbFXx-Li047EIkG2Iqs7EV7vqfBJma5sUmefwJRy8jXeULr25T143jgiR3mwof29nB3rZtq22PU9AcpFNfIWT_i1Zrcw27NDaYqrRTlRivY-64JFtoO2XgU_XR9ujtwfhdp8Rz5sLc_vbd4a-X3TM9x_iFf57fmTVbX21-7fWpmANaxvVKuaD217bMyS10wzsh0ciR5zbq6WYH3QwNPiIv73fQtfdtUd_5HfQqMCuyzIo6ZkXArKhjVhSYFW0w6y769PrgZP8w9s03YpWRYhETrFMjaZVklTEpN1XKqYalSnJdSVMl3Pab0owYSaQW4PYWlahyqmlqGNidKruH-s2k0fdRlGuaK8GVluDsJ1zJzAgtaaErQbFhdID2wtqVU1djpfwjagNUhBUuPe-dAVgCe_7206eASHsbW1z9cHRU2jFQZ4TxvFglA7R7DrD26-DuZxnM8STgV4IwthE20ejJcl6CtQsWPE8fXPYfPURXXXKjfe2iPiCoH6ErarU4nc8ee3L-BNFbpX4
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Concrete+data+structures+and+functional+parallel+programming&rft.jtitle=Theoretical+computer+science&rft.au=Hains%2C+Ga%C3%A9tan&rft.au=Loulergue%2C+Fr%C3%A9d%C3%A9ric&rft.au=Mullins%2C+John&rft.date=2001&rft.issn=0304-3975&rft.volume=258&rft.issue=1-2&rft.spage=233&rft.epage=267&rft_id=info:doi/10.1016%2FS0304-3975%2800%2900010-4&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_S0304_3975_00_00010_4
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0304-3975&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0304-3975&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0304-3975&client=summon