{"id":"https://openalex.org/W4386568751","doi":"https://doi.org/10.1145/3609131","title":"A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines","display_name":"A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines","publication_year":2023,"publication_date":"2023-09-09","ids":{"openalex":"https://openalex.org/W4386568751","doi":"https://doi.org/10.1145/3609131"},"language":"en","primary_location":{"id":"doi:10.1145/3609131","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3609131","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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 Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-04491219/document","any_repository_has_fulltext":true},"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":[{"id":"https://openalex.org/I4210138969","display_name":"Ansys (France)","ror":"https://ror.org/044qb8j46","country_code":"FR","type":"company","lineage":["https://openalex.org/I21160419","https://openalex.org/I4210138969"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Louis Cola\u00e7o","raw_affiliation_strings":["Ansys, France","ANSYS (France)"],"raw_orcid":"https://orcid.org/0000-0003-3848-1826","affiliations":[{"raw_affiliation_string":"Ansys, France","institution_ids":["https://openalex.org/I4210138969"]},{"raw_affiliation_string":"ANSYS (France)","institution_ids":["https://openalex.org/I4210138969"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056710976","display_name":"Michael Mendler","orcid":"https://orcid.org/0000-0001-9562-0576"},"institutions":[{"id":"https://openalex.org/I94626330","display_name":"University of Bamberg","ror":"https://ror.org/01c1w6d29","country_code":"DE","type":"education","lineage":["https://openalex.org/I94626330"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Mendler","raw_affiliation_strings":["The University of Bamberg, Germany","University of Bamberg (Germany)"],"raw_orcid":"https://orcid.org/0000-0001-9562-0576","affiliations":[{"raw_affiliation_string":"The University of Bamberg, Germany","institution_ids":["https://openalex.org/I94626330"]},{"raw_affiliation_string":"University of Bamberg (Germany)","institution_ids":["https://openalex.org/I94626330"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017875069","display_name":"Baptiste Pauget","orcid":"https://orcid.org/0009-0000-8812-1381"},"institutions":[{"id":"https://openalex.org/I4210138969","display_name":"Ansys (France)","ror":"https://ror.org/044qb8j46","country_code":"FR","type":"company","lineage":["https://openalex.org/I21160419","https://openalex.org/I4210138969"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Baptiste Pauget","raw_affiliation_strings":["Ansys, France and Inria, France","ANSYS (France)","Parkas - Parall\u00e9lisme de Kahn Synchrone (France)"],"raw_orcid":"https://orcid.org/0009-0000-8812-1381","affiliations":[{"raw_affiliation_string":"Ansys, France and Inria, France","institution_ids":["https://openalex.org/I4210138969"]},{"raw_affiliation_string":"ANSYS (France)","institution_ids":["https://openalex.org/I4210138969"]},{"raw_affiliation_string":"Parkas - Parall\u00e9lisme de Kahn Synchrone (France)","institution_ids":["https://openalex.org/I4210144566"]}]},{"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/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"]},{"id":"https://openalex.org/I2746051580","display_name":"Universit\u00e9 Paris Sciences et Lettres","ror":"https://ror.org/013cjyk83","country_code":"FR","type":"education","lineage":["https://openalex.org/I2746051580"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]},{"id":"https://openalex.org/I4210161954","display_name":"D\u00e9partement d'Informatique","ror":"https://ror.org/05y6rqs46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210159245","https://openalex.org/I4210161954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marc Pouzet","raw_affiliation_strings":["ENS, France and PSL University, France and Inria, France","DI-ENS - D\u00e9partement d'informatique - ENS Paris (\u00c9cole normale sup\u00e9rieure 45 rue d'Ulm F-75230 Paris Cedex 05 - France)","PSL - Universit\u00e9 Paris Sciences et Lettres (60 rue Mazarine 75006 Paris - France)","Parkas - Parall\u00e9lisme de Kahn Synchrone (France)"],"raw_orcid":"https://orcid.org/0000-0002-2651-7708","affiliations":[{"raw_affiliation_string":"ENS, France and PSL University, France and Inria, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I2746051580","https://openalex.org/I29607241"]},{"raw_affiliation_string":"DI-ENS - D\u00e9partement d'informatique - ENS Paris (\u00c9cole normale sup\u00e9rieure 45 rue d'Ulm F-75230 Paris Cedex 05 - France)","institution_ids":["https://openalex.org/I29607241","https://openalex.org/I4210161954"]},{"raw_affiliation_string":"PSL - Universit\u00e9 Paris Sciences et Lettres (60 rue Mazarine 75006 Paris - France)","institution_ids":[]},{"raw_affiliation_string":"Parkas - Parall\u00e9lisme de Kahn Synchrone (France)","institution_ids":["https://openalex.org/I4210144566"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9259,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.73244262,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"22","issue":"5s","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design 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/T10904","display_name":"Embedded Systems Design 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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8375120162963867},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.802522599697113},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.5428507328033447},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.5243523120880127},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.5214090347290039},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.45693910121917725},{"id":"https://openalex.org/keywords/action-semantics","display_name":"Action semantics","score":0.44875866174697876},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"Well-founded semantics","score":0.42867758870124817},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4138375222682953}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8375120162963867},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.802522599697113},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.5428507328033447},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5243523120880127},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.5214090347290039},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.45693910121917725},{"id":"https://openalex.org/C150607116","wikidata":"https://www.wikidata.org/wiki/Q4677421","display_name":"Action semantics","level":5,"score":0.44875866174697876},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.42867758870124817},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4138375222682953}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3609131","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3609131","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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 Embedded Computing Systems","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04491219v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04491219","pdf_url":"https://hal.science/hal-04491219/document","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Embedded Computing Systems (TECS), 2023, 22 (5s), pp.Article 152: 1-26. ⟨10.1145/3609131⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04491219v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04491219","pdf_url":"https://hal.science/hal-04491219/document","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Embedded Computing Systems (TECS), 2023, 22 (5s), pp.Article 152: 1-26. ⟨10.1145/3609131⟩","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6899999976158142}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4386568751.pdf"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W32272584","https://openalex.org/W597329005","https://openalex.org/W1505276063","https://openalex.org/W1511203305","https://openalex.org/W1558083009","https://openalex.org/W2010945517","https://openalex.org/W2026927717","https://openalex.org/W2055295051","https://openalex.org/W2075773711","https://openalex.org/W2081938726","https://openalex.org/W2099529102","https://openalex.org/W2103684726","https://openalex.org/W2116435685","https://openalex.org/W2119355229","https://openalex.org/W2125415493","https://openalex.org/W2127335869","https://openalex.org/W2152866817","https://openalex.org/W2169364172","https://openalex.org/W2615939384","https://openalex.org/W2975333801","https://openalex.org/W3141112769","https://openalex.org/W4320350427","https://openalex.org/W6630443005","https://openalex.org/W6677780422","https://openalex.org/W7053504691"],"related_works":["https://openalex.org/W91938043","https://openalex.org/W2348616540","https://openalex.org/W1988438613","https://openalex.org/W1975908952","https://openalex.org/W2072493788","https://openalex.org/W1487472891","https://openalex.org/W2070801544","https://openalex.org/W2257517306","https://openalex.org/W3036972880","https://openalex.org/W2066556632"],"abstract_inverted_index":{"Scade":[0,119,226],"is":[1,47,51,74,87,95,149,161,163,176,195,208,223,278],"a":[2,34,41,57,75,84,111,164,179,188,284],"domain-specific":[3],"synchronous":[4,59,77],"functional":[5,167,286],"language":[6,44,112,141,156,168,245],"used":[7],"to":[8,63,68,138,187,204,242,251,265],"implement":[9],"safety-critical":[10],"real-time":[11],"software":[12],"for":[13,24,54,101,110,200,237],"more":[14],"than":[15],"twenty":[16],"years.":[17],"Two":[18],"main":[19],"approaches":[20],"have":[21],"been":[22],"considered":[23],"its":[25],"semantics:":[26],"(i)":[27],"an":[28,105,235,281],"indirect":[29],"collapsing":[30],"semantics":[31,46,60,85,109,160,194,231,273],"based":[32],"on":[33,81],"source-to-source":[35],"translation":[36],"of":[37,118,127,269],"high-level":[38],"constructs":[39,117,246],"into":[40],"data-flow":[42,128],"core":[43],"whose":[45],"precisely":[48],"specified":[49],"and":[50,89,130,145,171,197,240],"the":[52,69,102,115,124,139,152,155,159,216,263,267,276],"entry":[53],"code":[55],"generation;":[56],"relational":[58],",":[61,107],"akin":[62],"Esterel,":[64],"that":[65,113,154,257],"applies":[66],"directly":[67,137],"source.":[70],"It":[71,134,148,185,218],"defines":[72],"what":[73,206],"valid":[76],"reaction":[78],"but":[79,260],"hides,":[80],"purpose,":[82],"if":[83],"exists,":[86],"unique":[88],"can":[90,135,198,232],"be":[91],"computed;":[92],"hence,":[93],"it":[94,175],"not":[96],"executable.":[97],"This":[98,193,230],"paper":[99,277],"presents,":[100],"first":[103],"time,":[104],"executable":[106],"state-based":[108],"has":[114],"key":[116],"all":[120,182],"together,":[121],"in":[122,151,157,178,225,275,283,288],"particular":[123],"arbitrary":[125],"combination":[126],"equations":[129],"hierarchical":[131],"state":[132],"machines.":[133],"apply":[136],"source":[140],"before":[142,247],"static":[143,212],"checks":[144],"compilation":[146,270],"steps.":[147,271],"constructive":[150],"sense":[153],"which":[158],"defined":[162],"statically":[165],"typed":[166],"with":[169,228],"call-by-value":[170],"strong":[172],"normalization,":[173],"e.g.,":[174],"expressible":[177],"proof-assistant":[180],"where":[181],"functions":[183],"terminate.":[184],"leads":[186],"reference,":[189],"purely":[190,285],"functional,":[191],"interpreter.":[192],"modular":[196],"account":[199],"possible":[201],"errors,":[202],"allowing":[203],"establish":[205],"property":[207],"ensured":[209],"by":[210,215,262],"each":[211],"verification":[213],"performed":[214],"compiler.":[217],"also":[219],"clarifies":[220],"how":[221],"causality":[222],"treated":[224],"compared":[227],"Esterel.":[229],"serve":[233],"as":[234,280],"oracle":[236],"compiler":[238],"testing":[239],"validation;":[241],"prototype":[243],"novel":[244],"they":[248],"are":[249,258],"implemented,":[250],"execute":[252],"possibly":[253],"unfinished":[254],"models":[255],"or":[256],"correct":[259],"rejected":[261],"compiler;":[264],"prove":[266],"correctness":[268],"The":[272],"given":[274],"implemented":[279],"interpreter":[282],"style,":[287],"OCaml.":[289]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2023-09-10T00:00:00"}