{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:16:44Z","timestamp":1748751404880,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572640"},{"type":"electronic","value":"9783540480273"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57264-3_32","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:34:17Z","timestamp":1330259657000},"page":"99-110","source":"Crossref","is-referenced-by-count":3,"title":["Combining dependability with architectural adaptability by means of the signal language"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Maffe\u00cfs","sequence":"first","affiliation":[]},{"given":"Paul","family":"Guernic","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"8_CR1","unstructured":"A. Aho, R. Sethi and J. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wiley, 1986."},{"key":"8_CR2","unstructured":"G. Berry. Real time programming: special purpose or general purpose languages. In Information Processing 89, Elsevier Science Publishers B.V., 1989."},{"key":"8_CR3","volume-title":"PhD thesis","author":"L. Besnard","year":"1992","unstructured":"L. Besnard. Compilation de Signal: horloges, d\u00e9pendances, environnement. PhD thesis, Universit\u00e9 de Rennes 1, France, Sept. 1992."},{"issue":"9","key":"8_CR4","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/5.97299","volume":"79","author":"F. Boussinot","year":"1991","unstructured":"F. Boussinot and R. De Simone. The Esterel language. Proceedings of the IEEE, 79(9):1293\u20131304, Sept. 1991.","journal-title":"Proceedings of the IEEE"},{"issue":"4","key":"8_CR5","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"R. Cytron, J., Ferrante, B. Rosen, M. Wegman, and F. Zadeck. Efficiently Computing Static Single Assignment Form and the Control Dependence Graph ACM Trans. on Prog. Language & Systems (TOPLAS), 13(4):451\u2013490, Oct. 1991.","journal-title":"ACM Trans. on Prog. Language & Systems (TOPLAS)"},{"issue":"3","key":"8_CR6","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"J. Ferrante, K. Ottenstein and J. Warren. The program dependence graph and its uses in optimization. ACM TOPLAS, 9(3):319\u2013349, July 1987.","journal-title":"ACM TOPLAS"},{"issue":"9","key":"8_CR7","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"N. Halbwachs, P. Caspi, P. Raymond and D. Pilaud. The synchronous data flow programming language Lustre. Proc. of the IEEE, 79(9):1305\u20131321, Sept. 1991.","journal-title":"Proc. of the IEEE"},{"issue":"2","key":"8_CR8","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/130844.130856","volume":"24","author":"C. W. Krueger","year":"1992","unstructured":"C. W. Krueger. Software reuse. ACM Comp. Surveys, 24(2):131\u2013183, June 1992.","journal-title":"ACM Comp. Surveys"},{"key":"8_CR9","unstructured":"C. Lavarenne, O. Segrouchni, Y. Sorel and M. Sorine. The Syndex software environment for real-time distributed systems design and implementation. In European Control Conference, pages 1684\u20131689, June 1991."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"M. Le Borgne, A. Benveniste and P. Le Guernic. Dynamical systems over Galois fields and DEDS control problems. In Proc. of the 30th IEEE conference on Decision and Control, pages 1505\u20131510, 1992.","DOI":"10.1109\/CDC.1991.261653"},{"issue":"9","key":"8_CR11","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P. Guernic Le","year":"1991","unstructured":"P. Le Guernic, T. Gautier, M. Le Borgne and C. Le Maire. Programming real-time applications with Signal. Proceedings of the IEEE, 79(9):1321\u20131336, sept. 1991.","journal-title":"Proceedings of the IEEE"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"K. Pingali, B. Micah, R. Johnson, M. Moudgill and P. Stodghill. Dependence flow graphs: an algebraic approach to program dependencies. In Proc. of the 18th ACM Symp. on Principles of Programming Languages, pages 67\u201378, 1991.","DOI":"10.1145\/99583.99595"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57264-3_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:04:48Z","timestamp":1742594688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57264-3_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572640","9783540480273"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-57264-3_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}