{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:39:12Z","timestamp":1725557952886},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642132315"},{"type":"electronic","value":"9783642132322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13232-2_57","type":"book-chapter","created":{"date-parts":[[2010,6,17]],"date-time":"2010-06-17T10:12:01Z","timestamp":1276769521000},"page":"468-475","source":"Crossref","is-referenced-by-count":0,"title":["Protrace: Effective Recursion Tracing and Debugging Library for Functional Programming Style in Common Lisp"],"prefix":"10.1007","author":[{"given":"Konrad","family":"Grzanek","sequence":"first","affiliation":[]},{"given":"Andrzej","family":"Cader","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"57_CR1","doi-asserted-by":"crossref","unstructured":"Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society\u00a042(2) (1936)","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"57_CR2","doi-asserted-by":"publisher","first-page":"346","DOI":"10.2307\/1968337","volume":"33","author":"A. Church","year":"1932","unstructured":"Church, A.: A set of postulates for the foundation of logic. Annals of Mathematics, Series 2,\u00a033, 346\u2013366 (1932)","journal-title":"Annals of Mathematics, Series 2,"},{"key":"#cr-split#-57_CR3.1","doi-asserted-by":"crossref","unstructured":"Backus, J.: Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs. ACM Turing Award Lecture (1977);","DOI":"10.1145\/1283920.1283933"},{"key":"#cr-split#-57_CR3.2","unstructured":"Communications of the ACM 2 (August 1978)"},{"key":"57_CR4","doi-asserted-by":"crossref","unstructured":"Hudak, P.: Conception, Evolution, and Application of Functional Programming Languages. ACM Computing Surveys\u00a021(3) (September 1989)","DOI":"10.1145\/72551.72554"},{"key":"57_CR5","volume-title":"The Implementation of Functional Programming Language","author":"S.L. Peyton Johnes","year":"1987","unstructured":"Peyton Johnes, S.L.: The Implementation of Functional Programming Language. Prentice Hall International (UK) Ltd., Englewood Cliffs (1987)"},{"key":"57_CR6","unstructured":"Okasaki, C.: Purely Functional Data Structures. PhD thesis submitted to School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 (1996)"},{"key":"57_CR7","unstructured":"Bagwell, P.: Ideal Hash Trees. Es Grands Champs\u00a01195 (2001)"},{"issue":"4","key":"57_CR8","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1145\/367177.367199","volume":"3","author":"J. McCarthy","year":"1960","unstructured":"McCarthy, J.: Recursive Functions of Symbolic Expressions and Their Computation by Machine. CACM\u00a03(4), 184\u2013195 (1960)","journal-title":"CACM"},{"key":"57_CR9","volume-title":"Structure and Interpretation of Computer Programs","author":"H. Abelson","year":"1984","unstructured":"Abelson, H., Sussman, G.J.: Structure and Interpretation of Computer Programs. MIT Press, Cambridge (1984), ISBN 0-262-01077-1"},{"key":"57_CR10","volume-title":"Artificial Intelligence A Modern Approach","author":"S.J. Russel","year":"2003","unstructured":"Russel, S.J., Norvig, P.: Artificial Intelligence A Modern Approach, 2nd edn. Pearson Education Inc., Upper Saddle River (2003)","edition":"2"},{"key":"57_CR11","volume-title":"Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp","author":"P. Norvig","year":"1991","unstructured":"Norvig, P.: Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp. Morgan Kaufmann, San Francisco (1991)"},{"key":"57_CR12","doi-asserted-by":"crossref","unstructured":"Seibel, P.: Coders at Work, 1st edn. Apress (September 16, 2009)","DOI":"10.1007\/978-1-4302-1949-1_1"},{"key":"57_CR13","doi-asserted-by":"crossref","unstructured":"Seibel, P.: Practical Common Lisp, 1st edn. Apress (April 11, 2005), http:\/\/www.gigamonkeys.com\/book\/ ,","DOI":"10.1007\/978-1-4302-0017-8_1"},{"key":"57_CR14","unstructured":"Steele, G.L.: Common Lisp the Language, 2nd edn. Digital Press (1990), ISBN 1-55558-041-6, http:\/\/www.cs.cmu.edu\/Groups\/AI\/html\/cltl\/cltl2.html"},{"key":"57_CR15","volume-title":"On Lisp - Advanced Techniques for Common Lisp","author":"P. Graham","year":"1993","unstructured":"Graham, P.: On Lisp - Advanced Techniques for Common Lisp. Prentice-Hall, Englewood Cliffs (1993)"},{"key":"57_CR16","series-title":"Series in Artificial Intelligence","volume-title":"ANSI Common Lisp","author":"P. Graham","year":"1996","unstructured":"Graham, P.: ANSI Common Lisp. Series in Artificial Intelligence. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"57_CR17","unstructured":"Steel Bank Common Lisp Website, http:\/\/www.sbcl.org"},{"key":"57_CR18","unstructured":"Clojure Website, http:\/\/clojure.org"},{"key":"57_CR19","unstructured":"Halloway, S.: Programming Clojure. The Pragmatic Bookshelf (May 2009), ISBN: 978-1-93435-633-3"},{"issue":"3","key":"57_CR20","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0743-1066(87)90001-X","volume":"4","author":"G. Ferrand","year":"1987","unstructured":"Ferrand, G.: Error Diagnosis in Logic Programming, an Adaptation of E. Y. Shapiro\u2019s Method. Journal of Logic Programming\u00a04(3), 177\u2013198 (1987)","journal-title":"Journal of Logic Programming"},{"key":"57_CR21","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/317636.317782","volume-title":"Proceedings of the 1999 ACM SIGPLAN Int\u2019l Conf. on Functional Programming","author":"H. Nilsson","year":"1999","unstructured":"Nilsson, H.: Tracing piece by piece: affordable debugging for lazy functional languages. In: Proceedings of the 1999 ACM SIGPLAN Int\u2019l Conf. on Functional Programming, pp. 36\u201347. ACM Press, New York (1999)"},{"key":"57_CR22","unstructured":"ITA Software Programming Puzzles, http:\/\/www.itasoftware.com\/careers\/puzzle_archive.html?catid=39#TheMysteryMFunction"}],"container-title":["Lecture Notes in Computer Science","Artifical Intelligence and Soft Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13232-2_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:03:10Z","timestamp":1606168990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13232-2_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642132315","9783642132322"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13232-2_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}