{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:26:58Z","timestamp":1725456418925},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634409"},{"type":"electronic","value":"9783540695493"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0002880","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:29:42Z","timestamp":1132730982000},"page":"1244-1253","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["An Ml-like module system for the synchronous language Signal"],"prefix":"10.1007","author":[{"given":"David","family":"Nowak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Pierre","family":"Talpin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Gautier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Le Guernic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,26]]},"reference":[{"key":"168_CR1","doi-asserted-by":"crossref","unstructured":"T. P. Amagbegnon, L. Besnard and P. Le Guernic. Implementation of the data-flow synchronous language Signal. In Proceedings of the 1995's ACM Conference on Programming Language Design and Implementation, p. 163\u2013173. ACM, 1995.","DOI":"10.1145\/223428.207134"},{"key":"168_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0167-6423(91)90001-E","volume":"16","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste, P. Le Guernic and C. Jacquemot. Synchronous programming with events and relations: the Signal language and its semantics. In Science of Computer Programming, v. 16, p. 103\u2013149, 1991.","journal-title":"Science of Computer Programming"},{"key":"168_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. In Science of Computer Programming, v. 19, p. 87\u2013152, 1992.","journal-title":"Science of Computer Programming"},{"key":"168_CR4","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, P. Caspi, P. Raymond and D. Pilaud. The synchronous data-flow programming language Lustre. In Proceedings of the IEEE, v. 79(9). IEEE Press, 1991.","DOI":"10.1109\/5.97300"},{"key":"168_CR5","doi-asserted-by":"crossref","unstructured":"D. Harel and A. Naamad. The\nStatemate\nsemantics of\nStatecharts. I-Logix, 1995.","DOI":"10.1145\/235321.235322"},{"key":"168_CR6","unstructured":"Thierry Gautier, Paul Le Guernic, and Fran\u00e7ois Dupont. Signal v4: manuel de r\u00e9f\u00e9rence. Technical report n. 832. IRISA, 1994."},{"key":"168_CR7","unstructured":"D. Nowak, Talpin, J.-P., and Gautier, T. Un systeme de modules avanc\u00e9 pour Signal. Rapport de recherche n. ??, 1997. (To appear, available from nowak@irisa.fr)."},{"key":"168_CR8","unstructured":"R. Milner, M. Tofte, R. Harper. The definition of\nStandard Ml. MIT Press, 1990."},{"key":"168_CR9","doi-asserted-by":"crossref","unstructured":"M. Tofte. Principal signatures for higher-order program modules. In Proceedings of the 1992's ACM Symposium Principles of Programming Languages, p. 189\u2013199. ACM, 1992.","DOI":"10.1145\/143165.143206"},{"key":"168_CR10","doi-asserted-by":"crossref","unstructured":"X. Leroy. Applicative functors and fully transparent higher-order modules. In Proceedings of the 1995's ACM Symposium Principles of Programming Languages. ACM, 1995.","DOI":"10.1145\/199448.199476"},{"key":"168_CR11","doi-asserted-by":"crossref","unstructured":"O. Maffe\u00efs and P. Le Guernic. Distributed implementation of Signal: scheduling and graph clustering. In Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. Lecture Notes in Computer Science n. 863. Springer Verlag, 1994.","DOI":"10.1007\/3-540-58468-4_183"},{"key":"168_CR12","doi-asserted-by":"crossref","unstructured":"J.-P. Talpin. Reactive Types. In Conference on the Theory and Practice of Software Development (TAPSOFT'97). Lecture Notes in Computer Science. Springer Verlag, 1997.","DOI":"10.1007\/BFb0030628"}],"container-title":["Lecture Notes in Computer Science","Euro-Par'97 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0002880","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,19]],"date-time":"2020-04-19T20:47:51Z","timestamp":1587329271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0002880"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634409","9783540695493"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0002880","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"26 September 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}