{"id":"https://openalex.org/W1996360642","doi":"https://doi.org/10.1145/233561.233565","title":"Compositional parallel programming languages","display_name":"Compositional parallel programming languages","publication_year":1996,"publication_date":"1996-07-01","ids":{"openalex":"https://openalex.org/W1996360642","doi":"https://doi.org/10.1145/233561.233565","mag":"1996360642"},"language":"en","primary_location":{"id":"doi:10.1145/233561.233565","doi":"https://doi.org/10.1145/233561.233565","is_oa":false,"landing_page_url":"https://doi.org/10.1145/233561.233565","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-a","cwts-core","dongbi-a","jufo-3","norway-2","poland-140","russia-white-list-2"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032231503","display_name":"Ian T Foster","orcid":"https://orcid.org/0000-0003-2129-5269","observed_orcids":["https://orcid.org/0000-0003-2129-5269"]},"institutions":[{"id":"https://openalex.org/I1282105669","display_name":"Argonne National Laboratory","ror":"https://ror.org/05gvnxz63","country_code":"US","type":"facility","lineage":["https://openalex.org/I1282105669","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ian Foster","raw_affiliation_strings":["Argonne National Lab, Argonne, IL","Argonne National Lab, Argonne IL#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Argonne National Lab, Argonne, IL","institution_ids":["https://openalex.org/I1282105669"]},{"raw_affiliation_string":"Argonne National Lab, Argonne IL#TAB#","institution_ids":["https://openalex.org/I1282105669"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5032231503"],"corresponding_institution_ids":["https://openalex.org/I1282105669"],"apc_list":null,"apc_paid":null,"fwci":1.8126,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":{"value":0.86317863,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"18","issue":"4","first_page":"454","last_page":"476"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.6919000148773193,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.6919000148773193,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.2533999979496002,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.02280000038444996,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/strand","display_name":"Strand","score":0.3269999921321869},{"id":"https://openalex.org/keywords/parallel-composition","display_name":"parallel composition","score":0.7870000004768372},{"id":"https://openalex.org/keywords/program-components","display_name":"program components","score":0.4490000009536743},{"id":"https://openalex.org/keywords/code-reuse","display_name":"code reuse","score":0.6589999794960022},{"id":"https://openalex.org/keywords/domain-decomposition","display_name":"domain decomposition","score":0.7870000004768372}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9007390141487122},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.8209114074707031},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6782859563827515},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5504546761512756},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5307528972625732},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.46749985218048096},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.43649396300315857},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.4278915822505951},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3612516522407532},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16197055578231812},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/233561.233565","doi":"https://doi.org/10.1145/233561.233565","is_oa":false,"landing_page_url":"https://doi.org/10.1145/233561.233565","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-a","cwts-core","dongbi-a","jufo-3","norway-2","poland-140","russia-white-list-2"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.52.7027","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.7027","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://info.mcs.anl.gov/pub/tech_reports/reports/P354.ps.Z","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.649.1559","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.1559","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://info.mcs.anl.gov/pub/tech_reports/reports/P354.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality education","score":0.5600000023841858}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W199231266","https://openalex.org/W203401512","https://openalex.org/W229636913","https://openalex.org/W260586526","https://openalex.org/W588924597","https://openalex.org/W1489689515","https://openalex.org/W1510011471","https://openalex.org/W1510543252","https://openalex.org/W1521571223","https://openalex.org/W1535347731","https://openalex.org/W1541122795","https://openalex.org/W1546468069","https://openalex.org/W1558185537","https://openalex.org/W1586338668","https://openalex.org/W1597939266","https://openalex.org/W1602563195","https://openalex.org/W1827886288","https://openalex.org/W1856371947","https://openalex.org/W1964564149","https://openalex.org/W1965498649","https://openalex.org/W1979621954","https://openalex.org/W1996384031","https://openalex.org/W2006518562","https://openalex.org/W2010248698","https://openalex.org/W2026194104","https://openalex.org/W2063278115","https://openalex.org/W2066210260","https://openalex.org/W2108167744","https://openalex.org/W2110425399","https://openalex.org/W2115867722","https://openalex.org/W2131791649","https://openalex.org/W2150537182","https://openalex.org/W2156400264","https://openalex.org/W2165904264","https://openalex.org/W2170175813","https://openalex.org/W2212036697","https://openalex.org/W2328138824","https://openalex.org/W2613112560","https://openalex.org/W2921498007","https://openalex.org/W2971491423","https://openalex.org/W4211008702","https://openalex.org/W4285719527","https://openalex.org/W6636017780"],"related_works":["https://openalex.org/W2259427569","https://openalex.org/W7095746130","https://openalex.org/W7095769747","https://openalex.org/W198316476","https://openalex.org/W2114145492","https://openalex.org/W3199494106","https://openalex.org/W1736269899","https://openalex.org/W7135282495","https://openalex.org/W134878725","https://openalex.org/W4241855470"],"abstract_inverted_index":{"In":[0,31],"task-parallel":[1,29],"programs,":[2],"diversee":[3],"activities":[4],"can":[5],"take":[6],"place":[7],"concurrently,":[8],"and":[9,11,16,72,96,120,143,145],"communication":[10],"synchronization":[12],"patterns":[13],"are":[14,58],"complex":[15,131],"not":[17],"easily":[18],"predictable.":[19],"Previous":[20],"work":[21],"has":[22],"identifiedcompositionalityas":[23],"an":[24,113,154],"important":[25],"design":[26],"principle":[27],"for":[28,105],"programs.":[30],"this":[32,42,177],"article,":[33],"we":[34],"discuss":[35],"alternative":[36,155],"approaches":[37],"to":[38,111,161],"the":[39,133,146,167],"realization":[40],"of":[41,48,83,116,130,135,140,148,172],"principle,":[43],"which":[44],"holds":[45],"that":[46,76,125,175],"properties":[47],"program":[49,64],"components":[50],"should":[51],"be":[52],"preserved":[53],"when":[54],"those":[55],"co":[56],"ponents":[57],"composed":[59],"in":[60],"parallel":[61,97],"with":[62,169],"other":[63],"components.":[65],"We":[66,123,165],"review":[67],"two":[68,173],"programming":[69],"languages,":[70],"Strand":[71],"Program":[73],"Composition":[74],"Notation,":[75],"support":[77],"compositionality":[78,127],"via":[79],"a":[80,92,170],"small":[81,159],"number":[82],"simple":[84],"concepts,":[85],"namely,":[86],"monotone":[87],"operations":[88],"on":[89,158],"shared":[90],"opbects,":[91],"uniform":[93],"addressing":[94],"mechanism,":[95],"composition.":[98],"Both":[99],"languages":[100,137,174],"have":[101],"been":[102],"used":[103],"extensively":[104],"large-scale":[106],"application":[107],"development,":[108],"allowing":[109],"us":[110],"provide":[112],"informed":[114],"assessment":[115],"both":[117],"their":[118,121],"strengths":[119],"weaknesses.":[122],"observe":[124],"while":[126],"simplifies":[128],"development":[129],"applications,":[132],"use":[134],"specialized":[136],"hinders":[138],"reuse":[139],"existing":[141,162],"code":[142],"tools":[144],"specification":[147],"domain":[149],"decomposition":[150],"strategies.":[151],"This":[152],"suggests":[153],"approach":[156],"based":[157],"extensions":[160],"sequential":[163],"languages.":[164],"conclude":[166],"article":[168],"discussion":[171],"realized":[176],"strategy.":[178]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}