{"id":"https://openalex.org/W1569254270","doi":"https://doi.org/10.1007/978-3-540-87475-1_44","title":"A Framework for Proving Correctness of Adjoint Message-Passing Programs","display_name":"A Framework for Proving Correctness of Adjoint Message-Passing Programs","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W1569254270","doi":"https://doi.org/10.1007/978-3-540-87475-1_44","mag":"1569254270"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-87475-1_44","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-87475-1_44","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5030827713","display_name":"Uwe Naumann","orcid":"https://orcid.org/0000-0002-7518-5922"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Uwe Naumann","raw_affiliation_strings":["LuFG Informatik 12 (Software and Tools for Computational Engineering), Department of Computer Science, RWTH Aachen University, 52056, Aachen, Germany","LuFG Informatik 12 (Software and Tools for Computational Engineering), Department of Computer Science, RWTH Aachen University, Aachen, Germany 52056#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LuFG Informatik 12 (Software and Tools for Computational Engineering), Department of Computer Science, RWTH Aachen University, 52056, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"LuFG Informatik 12 (Software and Tools for Computational Engineering), Department of Computer Science, RWTH Aachen University, Aachen, Germany 52056#TAB#","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034294283","display_name":"Laurent Hasco\u00ebt","orcid":"https://orcid.org/0000-0002-5361-0713"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laurent Hasco\u00ebt","raw_affiliation_strings":["Projet TROPICS, INRIA Sophia-Antipolis, France","Projet Tropics, INRIA, Sophia-Antipolis, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Projet TROPICS, INRIA Sophia-Antipolis, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Projet Tropics, INRIA, Sophia-Antipolis, France#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009795502","display_name":"Chris Hill","orcid":"https://orcid.org/0000-0003-3417-9056"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chris Hill","raw_affiliation_strings":["Department of Earth, Atmospheric, and Planetary Sciences, Massachusetts Institute of Technology, Cambridge, MA, USA","Department of Earth, Atmospheric and Planetary Sciences, Massachusetts Institute of Technology, Cambridge,  USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Earth, Atmospheric, and Planetary Sciences, Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Department of Earth, Atmospheric and Planetary Sciences, Massachusetts Institute of Technology, Cambridge,  USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067040957","display_name":"Paul Hovland","orcid":"https://orcid.org/0000-0002-0907-2567"},"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":false,"raw_author_name":"Paul Hovland","raw_affiliation_strings":["Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, USA","[Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, USA]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, USA","institution_ids":["https://openalex.org/I1282105669"]},{"raw_affiliation_string":"[Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, USA]","institution_ids":["https://openalex.org/I1282105669"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020783311","display_name":"Jan Riehme","orcid":null},"institutions":[{"id":"https://openalex.org/I141584323","display_name":"University of Hertfordshire","ror":"https://ror.org/0267vjk41","country_code":"GB","type":"education","lineage":["https://openalex.org/I141584323"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jan Riehme","raw_affiliation_strings":["Department of Computer Science, University of Hertfordshire, Hatfield, UK","Department of Computer Science, University of Hertfordshire, Hatfield, UK#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Hertfordshire, Hatfield, UK","institution_ids":["https://openalex.org/I141584323"]},{"raw_affiliation_string":"Department of Computer Science, University of Hertfordshire, Hatfield, UK#TAB#","institution_ids":["https://openalex.org/I141584323"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060826513","display_name":"Jean Utke","orcid":"https://orcid.org/0000-0002-3377-1990"},"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":false,"raw_author_name":"Jean Utke","raw_affiliation_strings":["Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, USA","[Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, USA]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, USA","institution_ids":["https://openalex.org/I1282105669"]},{"raw_affiliation_string":"[Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, USA]","institution_ids":["https://openalex.org/I1282105669"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.3129,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.79202037,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"316","last_page":"321"},"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.9998000264167786,"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.9998000264167786,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9976000189781189,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.9454679489135742},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8617026209831238},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.8328123092651367},{"id":"https://openalex.org/keywords/message-passing","display_name":"Message passing","score":0.8125278949737549},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4495396614074707},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43438655138015747},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4293310046195984},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36516591906547546},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13024109601974487},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.10515183210372925}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.9454679489135742},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8617026209831238},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.8328123092651367},{"id":"https://openalex.org/C854659","wikidata":"https://www.wikidata.org/wiki/Q1859284","display_name":"Message passing","level":2,"score":0.8125278949737549},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4495396614074707},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43438655138015747},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4293310046195984},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36516591906547546},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13024109601974487},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.10515183210372925}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-540-87475-1_44","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-87475-1_44","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.143.359","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.359","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2008/2008-06.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.143.406","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.406","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2008/2008-06.ps.gz","raw_type":"text"},{"id":"pmh:oai:publications.rwth-aachen.de:83723","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/record/83723","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Recent advances in parallel virtual machine and message passing interface : 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008 ; proceedings / Alexey Lastovetsky; Tahar Kechadi; Jack Dongarra (eds.)<br/>15. European PVM/MPI Users' Group Meeting, Dublin, Ireland, 2008-09-07 - 2008-09-10","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:uhra.herts.ac.uk:2299/14843","is_oa":false,"landing_page_url":"http://hdl.handle.net/2299/14843","pdf_url":null,"source":{"id":"https://openalex.org/S4306400241","display_name":"University of Hertfordshire Research Archive (University of Hertfordshire)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I141584323","host_organization_name":"University of Hertfordshire","host_organization_lineage":["https://openalex.org/I141584323"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6136443912","display_name":null,"funder_award_id":"EP/F069383/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W117463898","https://openalex.org/W163678414","https://openalex.org/W565106008","https://openalex.org/W1491178396","https://openalex.org/W1540853796","https://openalex.org/W1549029615","https://openalex.org/W1585773866","https://openalex.org/W1787035062","https://openalex.org/W2032126554","https://openalex.org/W2032904810","https://openalex.org/W2039509099","https://openalex.org/W2059477441","https://openalex.org/W2063799188","https://openalex.org/W2078734247","https://openalex.org/W2111976683","https://openalex.org/W2140476198","https://openalex.org/W2545959355","https://openalex.org/W2906407074","https://openalex.org/W3118422960","https://openalex.org/W6604791643"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W2135714282","https://openalex.org/W1569254270","https://openalex.org/W1595373702","https://openalex.org/W1604988569","https://openalex.org/W4389325792"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}