{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:50:45Z","timestamp":1730281845169,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2006.1695922","type":"proceedings-article","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T13:01:13Z","timestamp":1158930073000},"page":"165-174","source":"Crossref","is-referenced-by-count":2,"title":["Efficient code generation from synchronous programs"],"prefix":"10.1109","author":[{"given":"K.","family":"Schneider","sequence":"first","affiliation":[]},{"given":"J.","family":"Brandt","sequence":"additional","affiliation":[]},{"given":"E.","family":"Vecchie","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"19"},{"key":"17","volume":"964","author":"poigne","year":"1995","journal-title":"Boolean automata for implementing pure Esterel Arbeitspapiere"},{"year":"0","key":"18"},{"year":"0","author":"paris","article-title":"Projet SYNCHRONE: Les formats communs des langages synchrones","key":"15"},{"key":"16","article-title":"An Esterel virtual machine for embedded systems","author":"plummer","year":"2006","journal-title":"SLAP'06"},{"year":"0","journal-title":"Esterel Technology Website","key":"13"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1109\/DAC.1999.781369"},{"key":"11","first-page":"159","article-title":"Making cyclic circuits acyclic","author":"edwards","year":"2003","journal-title":"Design Automation Conference (DAC)"},{"key":"12","article-title":"Compiling Esterel into static discrete-event code","author":"edwards","year":"2004","journal-title":"Synchronous Languages Applications and Programming (SLAP)"},{"year":"0","key":"21"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1109\/CSD.2001.981772"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1145\/1023833.1023859"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1016\/j.entcs.2006.02.028"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1109\/ACSD.2005.24"},{"doi-asserted-by":"publisher","key":"25","DOI":"10.1007\/11599555_15"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1007\/978-0-387-35064-6_1"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/JPROC.2002.805826"},{"year":"0","key":"10"},{"year":"1991","author":"andrews","journal-title":"Concurrent Programming Principles and Practice","key":"1"},{"key":"7","first-page":"391","article-title":"TAXYS: A tool for the development and verification of real-time embedded systems","volume":"2102","author":"closse","year":"2001","journal-title":"LNCS"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1016\/0167-6423(92)90005-V"},{"year":"2000","author":"berry","journal-title":"The Esterel v5_91 language primer","key":"5"},{"key":"4","article-title":"The foundations of Esterel","author":"berry","year":"1998","journal-title":"Proof Language and Interaction Essays in Honour of Robin Milner"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/43.980257"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1016\/S1571-0661(05)80443-8"}],"event":{"acronym":"MEMCOD-06","name":"Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06)","location":"Napa, CA, USA"},"container-title":["Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/11148\/35734\/01695922.pdf?arnumber=1695922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T13:44:17Z","timestamp":1489585457000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1695922\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/memcod.2006.1695922","relation":{},"subject":[]}}