{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T23:36:50Z","timestamp":1768347410344,"version":"3.49.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,6,1]],"date-time":"2010-06-01T00:00:00Z","timestamp":1275350400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1007\/s10990-011-9068-x","type":"journal-article","created":{"date-parts":[[2011,6,8]],"date-time":"2011-06-08T18:40:50Z","timestamp":1307558450000},"page":"227-271","source":"Crossref","is-referenced-by-count":11,"title":["Keeping calm in the face of change"],"prefix":"10.1007","volume":"23","author":[{"given":"Neil","family":"Sculthorpe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"Nilsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,6,9]]},"reference":[{"issue":"1","key":"9068_CR1","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages twelve years later. Proc. IEEE 91(1), 64\u201383 (2003). Special issue on embedded systems","journal-title":"Proc. IEEE"},{"issue":"2","key":"9068_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, implementation. Sci. Comput. Program. 19(2), 87\u2013152 (1992)","journal-title":"Sci. Comput. Program."},{"key":"9068_CR3","unstructured":"Blom, K.J.: Dynamic interactive virtual environments. Ph.D. thesis, University of Hamburg, Department of Informatics (2009)"},{"key":"9068_CR4","first-page":"71","volume-title":"Partial Evaluation and Program Manipulation (PEPM \u201907)","author":"K. Burchett","year":"2007","unstructured":"Burchett, K., Cooper, G.H., Krishnamurthi, S.: Lowering: A static optimization technique for transparent functional reactivity. In: Partial Evaluation and Program Manipulation (PEPM \u201907), pp. 71\u201380. ACM, New York (2007)"},{"key":"9068_CR5","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1145\/232627.232651","volume-title":"International Conference on Functional Programming (ICFP\u201996)","author":"P. Caspi","year":"1996","unstructured":"Caspi, P., Pouzet, M.: Synchronous Kahn networks. In: International Conference on Functional Programming (ICFP\u201996), pp. 226\u2013238. ACM, New York (1996)"},{"key":"9068_CR6","unstructured":"Cheong, M.H.: Functional programming and 3D games. BEng thesis, University of New South Wales, Sydney, Australia (2005)"},{"key":"9068_CR7","first-page":"230","volume-title":"Embedded Software (EMSOFT \u201904)","author":"J.L. Cola\u00e7o","year":"2004","unstructured":"Cola\u00e7o, J.L., Girault, A., Hamon, G., Pouzet, M.: Towards a higher-order synchronous data-flow language. In: Embedded Software (EMSOFT \u201904), pp. 230\u2013239. ACM, New York (2004)"},{"key":"9068_CR8","first-page":"294","volume-title":"European Symposium on Programming (ESOP \u201906)","author":"G.H. Cooper","year":"2006","unstructured":"Cooper, G.H., Krishnamurthi, S.: Embedding dynamic dataflow in a call-by-value language. In: European Symposium on Programming (ESOP \u201906), pp. 294\u2013308. Springer, Berlin (2006)"},{"key":"9068_CR9","unstructured":"Courtney, A.: Modeling user interfaces in a functional language. Ph.D. thesis, Yale University (2004)"},{"key":"9068_CR10","first-page":"41","volume-title":"Haskell Workshop (Haskell\u201901)","author":"A. Courtney","year":"2001","unstructured":"Courtney, A., Elliott, C.: Genuinely functional user interfaces. In: Haskell Workshop (Haskell\u201901), pp. 41\u201369. Elsevier, Amsterdam (2001)"},{"key":"9068_CR11","first-page":"7","volume-title":"Haskell Workshop (Haskell\u201903)","author":"A. Courtney","year":"2003","unstructured":"Courtney, A., Nilsson, H., Peterson, J.: The Yampa arcade. In: Haskell Workshop (Haskell\u201903), pp. 7\u201318. ACM, New York (2003)"},{"key":"9068_CR12","unstructured":"Daniels, A.: A semantics for functions and behaviours. Ph.D. thesis, University of Nottingham (1999)"},{"key":"9068_CR13","first-page":"25","volume-title":"Haskell Symposium (Haskell \u201909)","author":"C. Elliott","year":"2009","unstructured":"Elliott, C.: Push-pull functional reactive programming. In: Haskell Symposium (Haskell \u201909), pp. 25\u201336. ACM, New York (2009)"},{"key":"9068_CR14","first-page":"263","volume-title":"International Conference on Functional Programming (ICFP \u201997)","author":"C. Elliott","year":"1997","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: International Conference on Functional Programming (ICFP \u201997), pp. 263\u2013273. ACM, New York (1997)"},{"key":"9068_CR15","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/978-3-540-77442-6_19","volume-title":"Practical Aspects of Declarative Languages (PADL \u201908)","author":"G. Giorgidze","year":"2008","unstructured":"Giorgidze, G., Nilsson, H.: Switched-on Yampa: Declarative programming of modular synthesizers. In: Practical Aspects of Declarative Languages (PADL \u201908), pp. 282\u2013298. Springer, Berlin (2008)"},{"key":"9068_CR16","first-page":"19","volume-title":"Functional and (Constraint) Logic Programming (WFLP \u201910)","author":"G. Giorgidze","year":"2010","unstructured":"Giorgidze, G., Nilsson, H.: Mixed-level embedding and JIT compilation for an iteratively staged DSL. In: Functional and (Constraint) Logic Programming (WFLP \u201910), pp. 19\u201334 (2010)"},{"key":"9068_CR17","series-title":"The Springer International Series in Engineering and Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous Programming of Reactive Systems","author":"N. Halbwachs","year":"1993","unstructured":"Halbwachs, N.: Synchronous Programming of Reactive Systems. The Springer International Series in Engineering and Computer Science. Springer, Berlin (1993)"},{"key":"9068_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0028726","volume-title":"Computer Aided Verification (CAV \u201998)","author":"N. Halbwachs","year":"1998","unstructured":"Halbwachs, N.: Synchronous programming of reactive systems, a\u00a0tutorial and commented bibliography. In: Computer Aided Verification (CAV \u201998), pp. 1\u201316. Springer, Berlin (1998)"},{"issue":"9","key":"9068_CR19","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language Lustre. Proc. IEEE 79(9), 1305\u20131320 (1991)","journal-title":"Proc. IEEE"},{"key":"9068_CR20","first-page":"278","volume-title":"Logics in Computer Science (LICS \u201996)","author":"T.A. Henzinger","year":"1996","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Logics in Computer Science (LICS \u201996), pp. 278\u2013292. IEEE Computer Society, Washington (1996)"},{"key":"9068_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"M. Huth","year":"2004","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2004). Chap.\u00a03, pp. 172\u2013255"},{"key":"9068_CR22","first-page":"145","volume-title":"Trends in Functional Programming (TFP \u201909)","author":"W. Jeltsch","year":"2010","unstructured":"Jeltsch, W.: Signals, not generators! In: Trends in Functional Programming (TFP \u201909), pp. 145\u2013160. Intellect, Bristol (2010)"},{"issue":"1","key":"9068_CR23","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/TC.1987.5009446","volume":"36","author":"E.A. Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Static scheduling of synchronous data flow programs for digital signal processing. IEEE Trans. Comput. 36(1), 24\u201335 (1987)","journal-title":"IEEE Trans. Comput."},{"key":"9068_CR24","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/1596550.1596559","volume-title":"International Conference on Functional Programming (ICFP \u201909)","author":"H. Liu","year":"2009","unstructured":"Liu, H., Cheng, E., Hudak, P.: Causal commutative arrows and their optimization. In: International Conference on Functional Programming (ICFP \u201909), pp. 35\u201346. ACM, New York (2009)"},{"key":"9068_CR25","first-page":"54","volume-title":"International Conference on Functional Programming (ICFP \u201905)","author":"H. Nilsson","year":"2005","unstructured":"Nilsson, H.: Dynamic optimization for functional reactive programming using generalized algebraic data types. In: International Conference on Functional Programming (ICFP \u201905), pp. 54\u201365. ACM, New York (2005)"},{"key":"9068_CR26","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/581690.581695","volume-title":"Haskell Workshop (Haskell \u201902)","author":"H. Nilsson","year":"2002","unstructured":"Nilsson, H., Courtney, A., Peterson, J.: Functional reactive programming, continued. In: Haskell Workshop (Haskell \u201902), pp. 51\u201364. ACM, New York (2002)"},{"key":"9068_CR27","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/3-540-36388-2_25","volume-title":"Practical Aspects of Declarative Languages (PADL \u201903)","author":"H. Nilsson","year":"2003","unstructured":"Nilsson, H., Peterson, J., Hudak, P.: Functional hybrid modeling. In: Practical Aspects of Declarative Languages (PADL \u201903), pp. 376\u2013390. Springer, Berlin (2003)"},{"key":"9068_CR28","volume-title":"Programming in Martin-L\u00f6f\u2019s Type Theory: An Introduction","author":"B. Nordstrom","year":"1990","unstructured":"Nordstrom, B., Petersson, K., Smith, J.M.: Programming in Martin-L\u00f6f\u2019s Type Theory: An Introduction. Oxford University Press, Oxford (1990)"},{"key":"9068_CR29","unstructured":"Norell, U.: Towards a practical programming language based on dependent type theory. Ph.D. thesis, Chalmers University of Technology (2007)"},{"key":"9068_CR30","first-page":"126","volume-title":"Implementation and Application of Functional Languages (IFL \u201909)","author":"G. Patai","year":"2009","unstructured":"Patai, G.: Eventless reactivity from scratch. In: Implementation and Application of Functional Languages (IFL \u201909), pp. 126\u2013140 (2009)"},{"key":"9068_CR31","first-page":"99","volume-title":"Functional and (Constraint) Logic Programming (WFLP \u201910)","author":"G. Patai","year":"2010","unstructured":"Patai, G.: Efficient and compositional higher-order streams. In: Functional and (Constraint) Logic Programming (WFLP \u201910), pp. 99\u2013113 (2010)"},{"key":"9068_CR32","first-page":"229","volume-title":"International Conference on Functional Programming (ICFP \u201901)","author":"R. Paterson","year":"2001","unstructured":"Paterson, R.: A new notation for arrows. In: International Conference on Functional Programming (ICFP \u201901), pp. 229\u2013240 ACM, New York (2001)"},{"key":"9068_CR33","first-page":"91","volume-title":"Practical Aspects of Declarative Languages (PADL \u201999)","author":"J. Peterson","year":"1999","unstructured":"Peterson, J., Hudak, P., Elliott, C.: Lambda in motion: Controlling robots with Haskell. In: Practical Aspects of Declarative Languages (PADL \u201999), pp. 91\u2013105. Springer, Berlin (1999)"},{"key":"9068_CR34","unstructured":"Pouzet, M.: Lucid Synchrone, version 3.0: Tutorial and reference manual. Universit\u00e9 Paris-Sud, LRI (2006). www.lri.fr\/~pouzet\/lucid-synchrone"},{"key":"9068_CR35","first-page":"97","volume-title":"Trends in Functional Programming (TFP \u201908)","author":"N. Sculthorpe","year":"2009","unstructured":"Sculthorpe, N., Nilsson, H.: Optimisation of dynamic, hybrid signal function networks. In: Trends in Functional Programming (TFP \u201908), pp. 97\u2013112. Intellect, Bristol (2009)"},{"key":"9068_CR36","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/1596550.1596558","volume-title":"International Conference on Functional Programming (ICFP \u201909)","author":"N. Sculthorpe","year":"2009","unstructured":"Sculthorpe, N., Nilsson, H.: Safe functional reactive programming through dependent types. In: International Conference on Functional Programming (ICFP \u201909), pp. 23\u201334. ACM, New York (2009)"},{"key":"9068_CR37","unstructured":"Using Simulink, Version 7.5. 3 Apple Hill Drive, Natick, MA (2010). www.mathworks.com"},{"key":"9068_CR38","volume-title":"The Blackwell Guide to Philosophical Logic","author":"Y. Venema","year":"2001","unstructured":"Venema, Y.: Temporal logic. In: The Blackwell Guide to Philosophical Logic. Blackwell, Oxford (2001). Chap.\u00a010, pp.\u00a0203\u2013223"},{"key":"9068_CR39","first-page":"242","volume-title":"Programming Language Design and Implementation (PLDI \u201900)","author":"Z. Wan","year":"2000","unstructured":"Wan, Z., Hudak, P.: Functional reactive programming from first principles. In: Programming Language Design and Implementation (PLDI \u201900), pp. 242\u2013252. ACM, New York (2000)"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-011-9068-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-011-9068-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-011-9068-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:42Z","timestamp":1559352582000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-011-9068-x"}},"subtitle":["Towards optimisation of FRP by reasoning about change"],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,6]]}},"alternative-id":["9068"],"URL":"https:\/\/doi.org\/10.1007\/s10990-011-9068-x","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,6]]}}}