{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T21:07:06Z","timestamp":1693861626936},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2004,8,1]],"date-time":"2004-08-01T00:00:00Z","timestamp":1091318400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2004,8]]},"DOI":"10.1007\/s10009-004-0160-y","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T15:00:58Z","timestamp":1099407658000},"page":"245-255","source":"Crossref","is-referenced-by-count":12,"title":["Type-based initialization analysis of a synchronous dataflow language"],"prefix":"10.1007","volume":"6","author":[{"given":"Jean-Louis","family":"Cola\u00e7o","sequence":"first","affiliation":[]},{"given":"Marc","family":"Pouzet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2004,11,3]]},"reference":[{"key":"160_CR1","doi-asserted-by":"crossref","unstructured":"Aiken A, Wimmers E (1993) Type inclusion constraints and type inference. In: 7th conference on functional programming and computer architecture, Copenhagen. ACM Press, June 1993, pp 31\u201341","DOI":"10.1145\/165180.165188"},{"key":"160_CR2","unstructured":"Aiken A, Wimmers E, Palsberg J (1997) Optimal representations of polymorphic types with subtyping. In: Theoretical Aspects of Computer Software (TACS), September 1997"},{"key":"160_CR3","unstructured":"Ashcroft EA, Wadge WW (1985) Lucid, the data-flow programming language. In: APIC studies in data processing, vol 22. Academic"},{"key":"160_CR4","doi-asserted-by":"crossref","unstructured":"Caspi P, Pouzet M (1996) Synchronous Kahn networks. In: ACM SIGPLAN international conference on functional programming, Philadelphia, May 1996","DOI":"10.1145\/232629.232651"},{"key":"160_CR5","first-page":"www","volume":"at","author":"Caspi","year":"2001","unstructured":"Caspi P, Pouzet M (2001) Lucid Synchrone, a functional extension of Lustre. Available at: www-spi.lip6.fr\/\u223cpouzet","journal-title":"Available"},{"key":"160_CR6","doi-asserted-by":"crossref","unstructured":"Cola\u00e7o J-L, Pouzet M (2002) Type-based initialization of a synchronous data-flow language. In: Synchronous languages, applications, and programming, vol 65. Electronic notes in theoretical computer science","DOI":"10.1016\/S1571-0661(05)80441-4"},{"key":"160_CR7","doi-asserted-by":"crossref","unstructured":"Cuoq P, Pouzet M (2001) Modular causality in a synchronous stream language. In: European symposium on programming (ESOP\u201901), Genova, Italy, April 2001","DOI":"10.1007\/3-540-45309-1_16"},{"key":"160_CR8","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"Halbwachs","year":"1991","unstructured":"Halbwachs N, Caspi P, Raymond P, Pilaud D (1991) The synchronous dataflow programming language lustre. Proc IEEE 79(9):1305\u20131320","journal-title":"Proc IEEE"},{"key":"160_CR9","unstructured":"Kahn G (1974) The semantics of a simple language for parallel programming. In: IFIP 74 Congress. North Holland, Amsterdam"},{"key":"160_CR10","unstructured":"Mitchell JC (1996) Foundations for programming languages. MIT Press, Cambridge, MA"},{"key":"160_CR11","doi-asserted-by":"crossref","unstructured":"Pottier F (1996) Simplifying subtyping constraints. In: Proceedings of the ACM SIGPLAN international conference on functional programming (ICFP\u201996), May 1996, pp 122\u2013133","DOI":"10.1145\/232627.232642"},{"key":"160_CR12","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1006\/inco.2001.2963","volume":"170","author":"Pottier","year":"2001","unstructured":"Pottier F (2001) Simplifying subtyping constraints: a theory. Inf Comput 170(2):153\u2013183","journal-title":"Inf Comput"},{"key":"160_CR13","first-page":"www","volume":"at","author":"Pouzet","year":"2001","unstructured":"Pouzet M (2001) Lucid Synchrone, version 2. Tutorial and reference manual. Universit\u00e9 Pierre et Marie Curie, LIP6, May 2001. Available at: www-spi.lip6.fr\/lucid-synchrone","journal-title":"Available"},{"key":"160_CR14","unstructured":"SCADE (2004) http:\/\/www.esterel-technologies.com\/scade\/"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-004-0160-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-004-0160-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-004-0160-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:25:19Z","timestamp":1559114719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-004-0160-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,8]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,8]]}},"alternative-id":["160"],"URL":"https:\/\/doi.org\/10.1007\/s10009-004-0160-y","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,8]]}}}