{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:28:07Z","timestamp":1725542887149},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642115028"},{"type":"electronic","value":"9783642115035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11503-5_17","type":"book-chapter","created":{"date-parts":[[2010,1,6]],"date-time":"2010-01-06T23:42:16Z","timestamp":1262821336000},"page":"186-200","source":"Crossref","is-referenced-by-count":3,"title":["First-Order Interactive Programming"],"prefix":"10.1007","author":[{"given":"Roly","family":"Perera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Perera, R.: A first-order interactive programming language. Technical Report CSR-09-09, University of Birmingham, School of Computer Science (November 2009)"},{"key":"17_CR2","volume-title":"Algorithmic program debugging. ACM Distinguished Dissertations","author":"E.Y. Shapiro","year":"1983","unstructured":"Shapiro, E.Y.: Algorithmic program debugging. ACM Distinguished Dissertations. MIT Press, Cambridge (1983)"},{"issue":"04","key":"17_CR3","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1017\/S0956796800001465","volume":"5","author":"A. Kishon","year":"1995","unstructured":"Kishon, A., Hudak, P.: Semantics directed program execution monitoring. Journal of Functional Programming\u00a05(04), 501\u2013547 (1995)","journal-title":"Journal of Functional Programming"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Tanimoto, S.L.: VIVA: A visual language for image processing. Journal of Visual Languages and Computing\u00a01(2) (1990)","DOI":"10.1016\/S1045-926X(05)80012-6"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/12130.12142","volume-title":"STOC 1986: Proceedings of the eighteenth annual ACM symposium on Theory of computing","author":"J.R. Driscoll","year":"1986","unstructured":"Driscoll, J.R., Sarnak, N., Sleator, D.D., Tarjan, R.E.: Making data structures persistent. In: STOC 1986: Proceedings of the eighteenth annual ACM symposium on Theory of computing, pp. 109\u2013121. ACM Press, New York (1986)"},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1038\/218019a0","volume":"218","author":"D. Michie","year":"1968","unstructured":"Michie, D.: Memo functions and machine learning. Nature\u00a0218, 19\u201322 (1968)","journal-title":"Nature"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/1159876.1159880","volume-title":"ML 2006: Proceedings of the 2006 workshop on ML","author":"J.C. Filli\u00e2tre","year":"2006","unstructured":"Filli\u00e2tre, J.C., Conchon, S.: Type-safe modular hash-consing. In: ML 2006: Proceedings of the 2006 workshop on ML, pp. 12\u201319. ACM Press, New York (2006)"},{"key":"17_CR8","unstructured":"Acar, U.A.: Self-Adjusting Computation. Phd thesis, Department of Computing Science, Carnegie Mellon University (2005)"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1145\/258948.258973","volume-title":"ICFP 1997: Proceedings of the Second ACM SIGPLAN International Conference on Functional programming","author":"C. Elliott","year":"1997","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: ICFP 1997: Proceedings of the Second ACM SIGPLAN International Conference on Functional programming, pp. 263\u2013273. ACM, New York (1997)"},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1145\/1094811.1094851","volume-title":"OOPSLA 2005: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications","author":"J. Edwards","year":"2005","unstructured":"Edwards, J.: Subtext: uncovering the simplicity of programming. In: OOPSLA 2005: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pp. 505\u2013518. ACM Press, New York (2005)"},{"key":"17_CR11","unstructured":"Nilsson, H., Sparud, J.: The evaluation dependence tree: an execution record for lazy functional debugging. Research Report LiTH-IDA-R-96-23, Department of Computer and Information Science, Link\u00f6ping University, S-581 83, Link\u00f6ping, Sweden (August 1996)"},{"key":"17_CR12","unstructured":"Lewis, B.: Debugging backwards in time. In: Ronsse, M., De Bosschere, K. (eds.) Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003) (September 2003)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11503-5_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:53:11Z","timestamp":1619769191000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11503-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642115028","9783642115035"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11503-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}