{"id":"https://openalex.org/W2128612657","doi":"https://doi.org/10.1145/1017753.1017792","title":"Towards a higher-order synchronous data-flow language","display_name":"Towards a higher-order synchronous data-flow language","publication_year":2004,"publication_date":"2004-09-27","ids":{"openalex":"https://openalex.org/W2128612657","doi":"https://doi.org/10.1145/1017753.1017792","mag":"2128612657"},"language":"en","primary_location":{"id":"doi:10.1145/1017753.1017792","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1017753.1017792","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 4th ACM international conference on Embedded software","raw_type":"proceedings-article"},"type":"preprint","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/A5087125599","display_name":"Jean-Louis Cola\u00e7o","orcid":"https://orcid.org/0000-0003-3848-1826"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jean-Louis Cola\u00e7o","raw_affiliation_strings":["Esterel Technologies, Toulouse, France"],"affiliations":[{"raw_affiliation_string":"Esterel Technologies, Toulouse, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039050781","display_name":"Alain Girault","orcid":"https://orcid.org/0000-0001-7500-1655"},"institutions":[{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Alain Girault","raw_affiliation_strings":["INRIA Rh\u00f4ne Alpes, Montbonnot, France"],"affiliations":[{"raw_affiliation_string":"INRIA Rh\u00f4ne Alpes, Montbonnot, France","institution_ids":["https://openalex.org/I4210101348","https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041803068","display_name":"Gr\u00e9goire Hamon","orcid":null},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Gr\u00e9goire Hamon","raw_affiliation_strings":["Chalmers University, Goeteborg, Sweden","Chalmers University, Goeteborg, Sweden#TAB#"],"affiliations":[{"raw_affiliation_string":"Chalmers University, Goeteborg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Chalmers University, Goeteborg, Sweden#TAB#","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050487223","display_name":"Marc Pouzet","orcid":"https://orcid.org/0000-0002-2651-7708"},"institutions":[{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marc Pouzet","raw_affiliation_strings":["Universit\u00e9 Pierre et Marie Curie, Paris, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Pierre et Marie Curie, Paris, France","institution_ids":["https://openalex.org/I39804081"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5087125599"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.1691,"has_fulltext":false,"cited_by_count":55,"citation_normalized_percentile":{"value":0.91388143,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"230","last_page":"239"},"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.9998999834060669,"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.9998999834060669,"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/T10904","display_name":"Embedded Systems Design 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.9994999766349792,"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/computer-science","display_name":"Computer science","score":0.8063958287239075},{"id":"https://openalex.org/keywords/lustre","display_name":"Lustre (file system)","score":0.7542406916618347},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6799514293670654},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5671805739402771},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5225743055343628},{"id":"https://openalex.org/keywords/conservative-extension","display_name":"Conservative extension","score":0.5071346759796143},{"id":"https://openalex.org/keywords/object-language","display_name":"Object language","score":0.4657953977584839},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.44664132595062256},{"id":"https://openalex.org/keywords/abstract-data-type","display_name":"Abstract data type","score":0.44629839062690735},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.4398159682750702},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4227818250656128},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37168771028518677},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.2766142189502716},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.1756363809108734},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.09756964445114136}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8063958287239075},{"id":"https://openalex.org/C180699724","wikidata":"https://www.wikidata.org/wiki/Q1877782","display_name":"Lustre (file system)","level":3,"score":0.7542406916618347},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6799514293670654},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5671805739402771},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5225743055343628},{"id":"https://openalex.org/C2780432614","wikidata":"https://www.wikidata.org/wiki/Q864213","display_name":"Conservative extension","level":2,"score":0.5071346759796143},{"id":"https://openalex.org/C185954173","wikidata":"https://www.wikidata.org/wiki/Q4347052","display_name":"Object language","level":3,"score":0.4657953977584839},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.44664132595062256},{"id":"https://openalex.org/C175971053","wikidata":"https://www.wikidata.org/wiki/Q827335","display_name":"Abstract data type","level":2,"score":0.44629839062690735},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.4398159682750702},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4227818250656128},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37168771028518677},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.2766142189502716},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.1756363809108734},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.09756964445114136},{"id":"https://openalex.org/C83283714","wikidata":"https://www.wikidata.org/wiki/Q121117","display_name":"Supercomputer","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1017753.1017792","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1017753.1017792","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 4th ACM international conference on Embedded software","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.95.7473","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.7473","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.lri.fr/~pouzet/bib/emsoft04.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-01520545v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01520545","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Fourth International Conference on Embedded Software (EMSOFT'04), Sep 2004, Pisa, Italy. pp.230-239, ⟨10.1145/1017753.1017792⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W168380059","https://openalex.org/W608160604","https://openalex.org/W1504834688","https://openalex.org/W1517761527","https://openalex.org/W1548666647","https://openalex.org/W1551043895","https://openalex.org/W1584322803","https://openalex.org/W1597755753","https://openalex.org/W1603799276","https://openalex.org/W1975124265","https://openalex.org/W2005976511","https://openalex.org/W2008838944","https://openalex.org/W2026927717","https://openalex.org/W2041225901","https://openalex.org/W2050942832","https://openalex.org/W2055295051","https://openalex.org/W2058255562","https://openalex.org/W2084471278","https://openalex.org/W2125415493","https://openalex.org/W2127335869","https://openalex.org/W2135784828","https://openalex.org/W2157341056","https://openalex.org/W2166822586","https://openalex.org/W2554545827","https://openalex.org/W2607451517","https://openalex.org/W3000440093","https://openalex.org/W6634652454","https://openalex.org/W6635964534","https://openalex.org/W6636047891","https://openalex.org/W6652668670"],"related_works":["https://openalex.org/W4312562141","https://openalex.org/W3021477639","https://openalex.org/W2483047752","https://openalex.org/W2269384200","https://openalex.org/W2773286553","https://openalex.org/W2141935522","https://openalex.org/W2503024976","https://openalex.org/W3212000257","https://openalex.org/W2084871158","https://openalex.org/W2128612657"],"abstract_inverted_index":{"The":[0,25,76],"paper":[1],"introduces":[2],"a":[3,18,29,47,81,92],"higher-order":[4,112],"synchronous":[5,99,113],"data-flow":[6,23,114],"language":[7,26,52,63,77,115],"in":[8,43],"which":[9,98],"communication":[10],"channels":[11],"may":[12],"themselves":[13],"transport":[14],"programs.":[15],"This":[16,39],"provides":[17],"mean":[19],"to":[20,87],"dynamically":[21],"reconfigure":[22],"processes.":[24],"comes":[27],"as":[28],"natural":[30],"and":[31,37,91],"strict":[32],"extension":[33,40],"of":[34,50,61,72],"both":[35],"lustre":[36],"lucy.":[38],"is":[41,78,109],"conservative,":[42],"the":[44,51,55,59,62,69,73,110],"sense":[45],"that":[46],"first-order":[48],"restriction":[49],"can":[53],"receive":[54],"same":[56],"semantics.We":[57],"illustrate":[58],"expressivity":[60],"with":[64,80],"some":[65],"examples,":[66],"before":[67],"giving":[68],"formal":[70],"semantics":[71],"underlying":[74],"calculus.":[75],"equipped":[79],"polymorphic":[82],"type":[83],"system":[84],"allowing":[85],"types":[86],"be":[88,102],"automatically":[89],"inferred":[90],"clock":[93],"calculus":[94],"rejecting":[95],"programs":[96],"for":[97],"execution":[100],"cannot":[101],"statically":[103],"guaranteed.":[104],"To":[105],"our":[106],"knowledge,":[107],"this":[108],"first":[111,120],"where":[116],"stream":[117],"functions":[118],"are":[119],"class":[121],"citizens.":[122]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}