{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:43:50Z","timestamp":1743140630483,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662466629"},{"type":"electronic","value":"9783662466636"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46663-6_4","type":"book-chapter","created":{"date-parts":[[2015,4,1]],"date-time":"2015-04-01T14:37:47Z","timestamp":1427899067000},"page":"69-88","source":"Crossref","is-referenced-by-count":8,"title":["A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages"],"prefix":"10.1007","author":[{"given":"Timothy","family":"Bourke","sequence":"first","affiliation":[]},{"given":"Jean-Louis","family":"Cola\u00e7o","sequence":"additional","affiliation":[]},{"given":"Bruno","family":"Pagano","sequence":"additional","affiliation":[]},{"given":"C\u00e9dric","family":"Pasteur","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Pouzet","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Bourke, T., Caillaud, B., Pagano, B., Pouzet, M.: A type-based analysis of causality loops in hybrid systems modelers. In: Int. Conf. Hybrid Systems: Computation and Control (HSCC 2014). ACM Press, Berlin (2014)","DOI":"10.1145\/2562059.2562125"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Bourke, T., Caillaud, B., Pouzet, M.: A Hybrid Synchronous Language with Hierarchical Automata: Static Typing and Translation to Synchronous Code. In: ACM SIGPLAN\/SIGBED Conf. on Embedded Software (EMSOFT 2011), Taipei, Taiwan (October 2011)","DOI":"10.1145\/2038642.2038664"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Bourke, T., Caillaud, B., Pouzet, M.: Divide and recycle: types and compilation for a hybrid synchronous language. In: ACM SIGPLAN\/SIGBED Conf. on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES 2011), Chicago, USA (April 2011)","DOI":"10.1145\/1967677.1967687"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Bourke, T., Caillaud, B., Pouzet, M.: Non-Standard Semantics of Hybrid Systems Modelers. Journal of Computer and System Sciences (JCSS)\u00a078(3), 877\u2013910 (2012), Special issue in honor of Amir Pnueli","DOI":"10.1016\/j.jcss.2011.08.009"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proc. IEEE\u00a091(1) (January 2003)","DOI":"10.1109\/JPROC.2002.805826"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Biernacki, D., Colaco, J.-L., Hamon, G., Pouzet, M.: Clock-directed modular code generation of synchronous data-flow languages. In: ACM Int. Conf. Languages, Compilers and Tools for Embedded Systems (LCTES), Tucson, Arizona (June 2008)","DOI":"10.1145\/1375657.1375674"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Bourke, T., Pouzet, M.: Z\u00e9lus, a Synchronous Language with ODEs. In: Int. Conf. on Hybrid Systems: Computation and Control (HSCC 2013). ACM, Philadelphia (2013)","DOI":"10.1145\/2461328.2461348"},{"key":"4_CR8","unstructured":"Carloni, L., Benedetto, M.D.D., Pinto, A., Sangiovanni-Vincentelli, A.: Modeling Techniques, Programming Languages, Design Toolsets and Interchange Formats for Hybrid Systems. Technical report, IST-2001-38314 WPHS, Columbus Project (March 2004)"},{"key":"4_CR9","unstructured":"Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S.: Translating Discrete-Time Simulink to Lustre. ACM Trans. on Embedded Computing Systems (2005), Special Issue on Embedded Software"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Cola\u00e7o, J.-L., Pagano, B., Pouzet, M.: A Conservative Extension of Synchronous Data-flow with State Machines. In: ACM Int. Conf. on Embedded Software (EMSOFT 2005), Jersey city, New Jersey, USA (September 2005)","DOI":"10.1145\/1086228.1086261"},{"issue":"4","key":"4_CR11","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst.\u00a013(4), 451\u2013490 (1991)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Denckla, B., Mosterman, P.: Stream and state-based semantics of hierarchy in block diagrams. In: Proc. of the 17th IFAC World Congress, pp. 7955\u20137960 (2008)","DOI":"10.3182\/20080706-5-KR-1001.01344"},{"key":"4_CR13","unstructured":"Esterel-Technologies. Scade language reference manual. Technical report, Esterel-Technologies (2014)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Raymond, P., Ratel, C.: Generating efficient code from data-flow programs. In: 3rd Int. Symp. on Programming Language Implementation and Logic Programming, Passau, Germany (August 1991)","DOI":"10.1007\/3-540-54444-5_100"},{"issue":"3","key":"4_CR15","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: StateCharts: A Visual Approach to Complex Systems. Science of Computer Programming\u00a08(3), 231\u2013275 (1987)","journal-title":"Science of Computer Programming"},{"issue":"3","key":"4_CR16","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1145\/1089014.1089020","volume":"31","author":"A.C. Hindmarsh","year":"2005","unstructured":"Hindmarsh, A.C., Brown, P.N., Grant, K.E., Lee, S.L., Serban, R., Shumaker, D.E., Woodward, C.S.: SUNDIALS: Suite of nonlinear and differential\/algebraic equation solvers. ACM Trans. Mathematical Software\u00a031(3), 363\u2013396 (2005)","journal-title":"ACM Trans. Mathematical Software"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-31954-2_2","volume-title":"Hybrid Systems: Computation and Control","author":"E.A. Lee","year":"2005","unstructured":"Lee, E.A., Zheng, H.: Operational semantics of hybrid systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 25\u201353. Springer, Heidelberg (2005)"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Zheng, H.: Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In: Int. Conf. on Embedded Software (EMSOFT 2007), Salzburg, Austria (September\/October 2007)","DOI":"10.1145\/1289927.1289949"},{"key":"4_CR19","unstructured":"MODELISAR. Functional Mock-up Interface for Model Exchange v1.0 (2010)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Morel, L.: Array iterators in Lustre: From a language extension to its exploitation in validation. EURASIP Journal on Embedded Systems (2007)","DOI":"10.1186\/1687-3963-2007-059130"},{"key":"4_CR21","unstructured":"Ptolemaeus, C. (ed.): System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org (2014)"},{"key":"4_CR22","unstructured":"Raymond, P.: Compilation efficace d\u2019un langage d\u00e9claratif synchrone: le g\u00e9n\u00e9rateur de code Lustre-v3. PhD thesis, Institut National Polytechnique de Grenoble (1991)"},{"issue":"04","key":"4_CR23","doi-asserted-by":"publisher","first-page":"834","DOI":"10.1017\/S0960129512000278","volume":"23","author":"S. Tripakis","year":"2013","unstructured":"Tripakis, S., Stergiou, C., Shaver, C., Lee, E.A.: A modular formal semantics for Ptolemy. Mathematical Structures in Computer Science\u00a023(04), 834\u2013881 (2013)","journal-title":"Mathematical Structures in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46663-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:15:05Z","timestamp":1559139305000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46663-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466629","9783662466636"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46663-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}