{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T09:30:34Z","timestamp":1791279034243,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,6,12]],"date-time":"2008-06-12T00:00:00Z","timestamp":1213228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,6,12]]},"DOI":"10.1145\/1375657.1375674","type":"proceedings-article","created":{"date-parts":[[2008,6,17]],"date-time":"2008-06-17T09:49:02Z","timestamp":1213696142000},"page":"121-130","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":66,"title":["Clock-directed modular code generation for synchronous data-flow languages"],"prefix":"10.1145","author":[{"given":"Dariusz","family":"Biernacki","sequence":"first","affiliation":[{"name":"Institute of Computer Science, University of Wroclaw, Wroclaw, Poland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Louis","family":"Cola\u00e7o","sequence":"additional","affiliation":[{"name":"Prover Technology, Toulouse, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gregoire","family":"Hamon","sequence":"additional","affiliation":[{"name":"The MathWorks, Boston, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marc","family":"Pouzet","sequence":"additional","affiliation":[{"name":"LRI, Univ. Paris-Sud 11, INRIA, Orsay, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207134"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_31"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_1_5_1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"Caspi Paul","year":"1998","unstructured":"Paul Caspi and Marc Pouzet . A Co-iterative Characterization of Synchronous Stream Functions. In Coalgebraic Methods in Computer Science (CMCS'98) , Electronic Notes in Theoretical Computer Science , March 1998 . Extended version available as a VERIMAG tech. report no. 97--07 at www.lri.fr\/~pouzet. Paul Caspi and Marc Pouzet. A Co-iterative Characterization of Synchronous Stream Functions. In Coalgebraic Methods in Computer Science (CMCS'98), Electronic Notes in Theoretical Computer Science, March 1998. Extended version available as a VERIMAG tech. report no. 97--07 at www.lri.fr\/~pouzet."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086261"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_10"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0160-y"},{"key":"e_1_3_2_1_9_1","volume-title":"Esprit project EP 20897 : Sacres","author":"Sacres","year":"1997","unstructured":"Sacres consortium. The declarative code dc+ , version 1.4. Technical report , Esprit project EP 20897 : Sacres , 1997 . Sacres consortium. The declarative code dc+ , version 1.4. Technical report, Esprit project EP 20897 : Sacres, 1997."},{"key":"e_1_3_2_1_10_1","unstructured":"The coq proof assistant 2007. http:\/\/coq.inria.fr.  The coq proof assistant 2007. http:\/\/coq.inria.fr."},{"key":"e_1_3_2_1_11_1","first-page":"127","volume-title":"Proceedings of the Safety-critical Systems Symposium, SSS'99","author":"Gautier Thierry","year":"1999","unstructured":"Thierry Gautier and Paul Le Guernic . Code generation in the sacres project. In Towards System Safety , Proceedings of the Safety-critical Systems Symposium, SSS'99 , pages 127 -- 149 , Huntingdon, UK , Feb 1999 . Springer. Thierry Gautier and Paul Le Guernic. Code generation in the sacres project. In Towards System Safety, Proceedings of the Safety-critical Systems Symposium, SSS'99, pages 127--149, Huntingdon, UK, Feb 1999. Springer."},{"key":"e_1_3_2_1_12_1","volume-title":"International Workshop on Synchronous Languages, Applications and Programs (SLAP)","author":"Girault Alain","year":"2005","unstructured":"Alain Girault . A survey of automatic distribution method for synchronous programs . In International Workshop on Synchronous Languages, Applications and Programs (SLAP) , Edinburg, UK , April 2005 . ENTCS. Alain Girault. A survey of automatic distribution method for synchronous programs. In International Workshop on Synchronous Languages, Applications and Programs (SLAP), Edinburg, UK, April 2005. ENTCS."},{"key":"e_1_3_2_1_14_1","volume-title":"V\u00e9rimag","author":"Halbwachs N.","year":"1995","unstructured":"N. Halbwachs . The declarative code DC, version 1.2a . V\u00e9rimag , Grenoble, France , October 1995 . unpublished report. N. Halbwachs. The declarative code DC, version 1.2a. V\u00e9rimag, Grenoble, France, October 1995. unpublished report."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54444-5_100"},{"key":"e_1_3_2_1_16_1","unstructured":"N. Halbwachs and Pascal Raymond. A tutorial of lustre. http:\/\/www-verimag.imag.fr\/SYNCHRONE\/ 2002.  N. Halbwachs and Pascal Raymond. A tutorial of lustre. http:\/\/www-verimag.imag.fr\/SYNCHRONE\/ 2002."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00093-X"},{"key":"e_1_3_2_1_18_1","unstructured":"The MathWorks. http:\/\/www.mathworks.com\/products\/simulink.  The MathWorks. http:\/\/www.mathworks.com\/products\/simulink."},{"key":"e_1_3_2_1_19_1","volume-title":"Morgan Kaufmann","author":"Muchnick Steven S","year":"1997","unstructured":"Steven S Muchnick . Advanced Compiler Design and Implementation . Morgan Kaufmann , 1997 . Steven S Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, 1997."},{"key":"e_1_3_2_1_20_1","volume-title":"Types and Programming Languages","author":"Pierce B. C.","year":"2002","unstructured":"B. C. Pierce . Types and Programming Languages . MIT Press , 2002 . B. C. Pierce. Types and Programming Languages. MIT Press, 2002."},{"key":"e_1_3_2_1_21_1","volume-title":"Projet SPECTRE, IMAG, juillet","author":"Raymond Pascal","year":"1988","unstructured":"Pascal Raymond . Compilation s\u00e9par\u00e9e de programmes lustre. Technical report , Projet SPECTRE, IMAG, juillet 1988 . Pascal Raymond. Compilation s\u00e9par\u00e9e de programmes lustre. Technical report, Projet SPECTRE, IMAG, juillet 1988."},{"key":"e_1_3_2_1_22_1","volume-title":"http:\/\/www.esterel-technologies.com\/scade\/","author":"SCADE.","year":"2007","unstructured":"SCADE. http:\/\/www.esterel-technologies.com\/scade\/ , 2007 . SCADE. http:\/\/www.esterel-technologies.com\/scade\/, 2007."}],"event":{"name":"LCTES08: ACM SIGPLAN\/SIGBED 2008 Conference on Languages, Compilers, and Tools for Embedded Systems","location":"Tucson AZ USA","acronym":"LCTES08","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1375657.1375674","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1375657.1375674","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:47:18Z","timestamp":1750243638000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1375657.1375674"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,12]]},"references-count":21,"alternative-id":["10.1145\/1375657.1375674","10.1145\/1375657"],"URL":"https:\/\/doi.org\/10.1145\/1375657.1375674","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1379023.1375674","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,6,12]]},"assertion":[{"value":"2008-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}