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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Theoretical computer science Ročník 258; číslo 1; s. 233 - 267
Hlavní autoři:	Hains, Gaétan, Loulergue, Frédéric, Mullins, John
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 2001 Elsevier
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

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. 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.
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.5966839
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/eLvHCXMwtV1bb9MwFLZYxwMTYjCYKGwQIR5AVVjiOHEi8VJNhYHCQLBKfbOc2NaGSlot3bSfz3F8SWHi9oBUpZWT2pLPl3P3OQg9z2UhUl6rEMcyC4mM8xCUWBIKXqlKpTjjdde1pKTHx_lsVnyyzpy2aydAmya_uiqW_5XUMAbE1kdn_4HcflIYgN9AdLgC2eH6V4Q_XDSgCa7kSCd_jkx92AswqrswgRZj1vuni37P53LuUrS-OSH21QPIH3Gsbe-HkRWYHgxjMP471zo3EffVWorPx2k5-fx2OjH6sbkvzNf5We0pPS1LO4lPC3ZeiN7_4A7GrPGtRAdbCtMQxTFZnObraLJHHi3TNKUwrPzFpj3HNdZuvAxf_OyggOs-1rrpKYgS0sszF8P_Scz55EOw2ZKEbKBNTMGaGqDN8bvJ7H0vvlNqAtx2nf7Y10G_-IsoemkX_pVCs3GqM2tvL3kLdFKmS8o1gd9pMSd30R1rfgRjA5t76IZsdtC2NUUCy-hbGHLdPtzYDtr64Cv8tvfRawezQMMs6GEWAMyCHmaBg1mwBrMHaPpmcnJ4FNpOHGGdkHwVkkhiVWUiToRSuFACF5mE3YtTKSol4kI3n5KUqIpUkoMNnAsu0kxmWFFQQutkFw2aRSMfooCIGp6gWi2tSBopHlEqQSRXlHCsJB-iV2472dIUXGF9JiLsP9P7z6KoS5uIGBmi3G06sy-B0QYZIOdPf30GRPLL6ErrR-OS6TGQbYQWaX4ZD9HeDzT0jxscDdFTR1IGnFmH23gjFxctA9UX1PkCP_r9BI_RLZPXqD97aAD0kvvoZn25OmvPn1h0fgcOl6Zk
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.pub=Elsevier&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=960334
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