{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:45Z","timestamp":1763468085751},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"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":[[1991]]},"DOI":"10.1007\/3-540-54444-5_100","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:49:43Z","timestamp":1330210183000},"page":"207-218","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":59,"title":["Generating efficient code from data-flow programs"],"prefix":"10.1007","author":[{"given":"Nicolas","family":"Halbwachs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Raymond","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Ratel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"18_CR1","unstructured":"A. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986."},{"key":"18_CR2","unstructured":"E. A. Ashcroft and W. W. Wadge. Lucid, the data-flow programming language. Academic Press, 1985."},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"J-L. Bergerand, P. Caspi, N. Halbwachs, and J. Plaice. Automatic control systems programming using a real-time declarative language. In IFAC\/IFIP Symp. 'SOCOCO 86, may 1986.","DOI":"10.1016\/S1474-6670(17)59729-3"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, J. C. Fernandez, and N. Halbwachs. Minimal model generation. In Workshop on Computer-Aided Verification, june 1990.","DOI":"10.1090\/dimacs\/003\/08"},{"key":"18_CR5","unstructured":"G. Berry and G. Gonthier. The synchronous programming language\nEsterel, design, semantics, implementation. Technical Report 327, INRIA, 1985. to appear in Science of Computer Programming."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8), 1986.","DOI":"10.1109\/TC.1986.1676819"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"J. A. Brzozowski. Derivative of regular expressions. JACM, 11(4), 1964.","DOI":"10.1145\/321239.321249"},{"key":"18_CR8","unstructured":"G. Berry and R. Sethi. From regular expressions to deterministic automata. TCS, 25(1), 1987."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. Lustre: a declarative language for programming synchronous systems. In 14th ACM Symposium on Principles of Programming Languages, january 1987.","DOI":"10.1145\/41625.41641"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"J. C. Fernandez. An implementation of an efficient algorithm for bisimulation equivalence. Science of Computer Programming, 13(2\u20133), may 1990.","DOI":"10.1016\/0167-6423(90)90071-K"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, Special Issue on Synchronous Programming, To appear, 1991.","DOI":"10.1109\/5.97300"},{"key":"18_CR12","unstructured":"G. Kahn. The semantics of a simple language for parallel programming. In IFIP 74, North Holland, 1974."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"J. R. Mc Graw. The Val language: description and analysis. TOPLAS, 4(1), january 1982.","DOI":"10.1145\/357153.357157"},{"key":"18_CR14","unstructured":"J. A. Plaice. S\u00e9mantique et compilation de\nLustre, un langage d\u00e9claratif synchrone. Thesis, Institut National Polytechnique de Grenoble, 1988."},{"key":"18_CR15","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Lecture Notes, Aarhus University, 1981."},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"N.S. Prywes and A. Pnueli. Compilation of nonprocedural specifications into computer programs. IEEE Transactions on Software Engineering, SE-9(3), may 1983.","DOI":"10.1109\/TSE.1983.236736"},{"key":"18_CR17","unstructured":"J. A. Plaice and J-B. Saint. The Lustre-Esterel portable format. 1987. Unpublished Report, INRIA, Sophia Antipolis."},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"R. Paige and R. Tarjan. Three partition refinement algorithms. SIAM J. Comput., 16(6), 1987.","DOI":"10.1137\/0216062"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54444-5_100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:33:05Z","timestamp":1558269185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_100","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"4 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}