{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T19:01:55Z","timestamp":1791226915391,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540664598","type":"print"},{"value":"9783540482949","type":"electronic"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48294-6_4","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T16:16:02Z","timestamp":1186157762000},"page":"51-68","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Polyhedral Analysis for Synchronous Languages"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Besson","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Jensen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Pierre","family":"Talpin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[1999,10,1]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. 5th Symp. on Logic in Computer Science (LICS 90), pages 414\u2013425, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"issue":"5","key":"4_CR2","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1109\/9.53519","volume":"35","author":"A. Benveniste","year":"1990","unstructured":"A. Benveniste and P. Le Guernic. Hybrid dynamical systems theory and the SIGNAL language. IEEE Trans. on Automatic Control, 35(5):535\u2013546, May 1990.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"2","key":"4_CR3","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. Science of Computer Programming, 16(2):103\u2013149, September 1991.","journal-title":"Science of Computer Programming"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"G. Berry and G. Gonthier. The esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19, 1992.","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"4_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BFb0014322","volume-title":"Proc. of the Fifth International Conference on Algebraic Methodology and Software Technology","author":"M. Le Borgne","year":"1996","unstructured":"M. Le Borgne, H. Marchand, E. Rutten, and M. Samaan. Formal verification of signal programs: Application to a power transformer station controller. In Proc. of the Fifth International Conference on Algebraic Methodology and Software Technology, pages 271\u2013285. Springer LNCS vol. 1101, 1996."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. Lustre: A declarative language for programming synchronous systems. In Proc. of 14th ACM Symp. on Principles of Programming Languages, pages 178\u2013188. ACM Press, 1987.","DOI":"10.1145\/41625.41641"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixed points. In Proc. of the 4th ACM Symp. on Principles of Programming Languages, Los Angeles, pages 238\u2013252, New York, NY, 1977. ACM.","DOI":"10.1145\/512950.512973"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proc. of the 5th ACM Symp. on Principles of Programming Languages, pages 84\u201396. ACM, January 1978.","DOI":"10.1145\/512760.512770"},{"key":"4_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/BFb0020947","volume-title":"Hybrid Systems III","author":"C. Daws","year":"1996","unstructured":"C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool kronos. In R. Alur, T. A. Henzinger, and E. D. Sontag, editors, Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science, pages 208\u2013219. Springer-Verlag, 1996."},{"key":"4_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/3-540-56922-7_28","volume-title":"Proc. of the 5th Int. Conference on Computer Aided Verification","author":"N. Halbwachs","year":"1993","unstructured":"N. Halbwachs. Delay analysis in synchronous programs. In C. Courcoubetis, editor, Proc. of the 5th Int. Conference on Computer Aided Verification, volume 697 of LNCS, pages 333\u2013346. Springer, 1993."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"4_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-58485-4_40","volume-title":"Proc. of the 1st Int. Static Analysis Symposium","author":"N. Halbwachs","year":"1994","unstructured":"N. Halbwachs. About synchronous programming and abstract interpretation. In B. Le Charlier, editor, Proc. of the 1st Int. Static Analysis Symposium, LNCS 864, pages 179\u2013192. Springer, 1994."},{"issue":"9","key":"4_CR13","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/32.159839","volume":"18","author":"N. Halbwachs","year":"1992","unstructured":"N. Halbwachs, F. Lagnier, and C. Ratel. Programming and verifying real-time systems by means of the synchronous data-flow language Lustre. IEEE Trans. on Software Engineering, 18(9):785\u2013793, September 1992.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, 3d Int. Conf. on Algebraic Methodology and Software Technology, AMAST\u201993. Workshops in Computing, Springer, 1993.","DOI":"10.1007\/978-1-4471-3227-1_8"},{"key":"4_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-58485-4_43","volume-title":"Proc. of the 1st Int. Static Analysis Symposium","author":"N. Halbwachs","year":"1994","unstructured":"N. Halbwachs, Y.-E. Proy, and P. Raymond. Verification of linear hybrid systems by means of convex approximations. In B. Le Charlier, editor, Proc. of the 1st Int. Static Analysis Symposium, LNCS 864, pages 223\u2013237. Springer, 1994."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"T. Jensen. Clock analysis of synchronous data ow programs. In Proc. of ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM Press, 1995.","DOI":"10.1145\/215465.215582"},{"key":"4_CR17","unstructured":"D. K. Wilde. A Library for Doing Polyhedral Operations. Research Report 785, INRIA, December 1993."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48294-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T13:51:10Z","timestamp":1778248270000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-48294-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664598","9783540482949"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48294-6_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"1 October 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}