{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:18Z","timestamp":1725456198720},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540574174"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019413","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:18:27Z","timestamp":1132640307000},"page":"255-272","source":"Crossref","is-referenced-by-count":0,"title":["Visualization as debugging: Understanding\/debugging the Warren Abstract Machine"],"prefix":"10.1007","author":[{"given":"Julio","family":"Garc\u00eda-Mart\u00edn","sequence":"first","affiliation":[]},{"given":"Juan Jos\u00e9","family":"Moreno-Navarro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"H. A\u00eft-Kaci: The WAM: A (Real) Tutorial, The MIT Press, 1991."},{"key":"17_CR2","unstructured":"E. B\u00f6erger, D. Rosensweig: WAM Algebras-A Mathematical Study of Implementation, Part I in Proc. CSL'90, Part II in Proc. Russian Conf. on Logic Prog.' 91."},{"key":"17_CR3","unstructured":"E. B\u00f6erger, D. Rosensweig: The WAM-Definition and Compiler Correctness, Technical Report, TR-14\/92, Dipartamento di Informatica, Universit\u00e0 di Pisa, 1992."},{"key":"17_CR4","unstructured":"T. Budd: Object Oriented Programming, Addison Wesley, 1991."},{"key":"17_CR5","volume-title":"Objective-C Interpreter version 4.0 User's Reference Manual","author":"B.J. Cox","year":"1988","unstructured":"B.J. Cox: Objective-C Interpreter version 4.0 User's Reference Manual, Stepstone Inc. Sandy Hook, CT, 1988."},{"key":"17_CR6","unstructured":"M. Ducasse: Abstract views of PROLOG executions in Opium, Proceedings ISLP'91, The MIT Press 1991, pp. 18\u201332."},{"key":"17_CR7","first-page":"400","volume":"631","author":"M. Ducasse","year":"1992","unstructured":"M. Ducasse: A General Trace Query Mechanism Based on PROLOG, Proceedings PLILP'92, Springer LNCS 631, 1992, pp. 400\u2013414.","journal-title":"Springer LNCS"},{"key":"17_CR8","unstructured":"J. Gabriel, T. Lindholm, E.L. Lusk, R.A. Overbeck: A Tutorial for the WAM for Computational Logic, ANL-64-84, Argonne Nat. Lab., 1985."},{"key":"17_CR9","unstructured":"J. Garc\u00eda-Mart\u00edn, J.J. Moreno-Navarro: Friendly-WAM: An Interactive Tool to Understand the Compilation of PROLOG, Proceedings LPAR'92, Springer LNAI 624, Springer Verlag, 1992."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"J. Garc\u00eda-Mart\u00edn, J.J. Moreno-Navarro: A Formal Definition of an Abstract PROLOG Compiler, submitted for publication, 1993.","DOI":"10.1007\/978-1-4471-3227-1_39"},{"key":"17_CR11","unstructured":"A. Goldberg: Smalltalk-80: The Interactive Programming Environment, Addison Wesley, 1983."},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"D. Ingalls, S. Wallace, Y.Y. Chow, F. Ludolph, K. Doyle: Fabrik: a Visual Programming Environment, Proceedings OOPSLA'88, 1988.","DOI":"10.1145\/62083.62100"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"P. Kursawe: How to Invent a PROLOG Machine, New Generation Comp., 5, 1989.","DOI":"10.1007\/BF03037460"},{"key":"17_CR14","unstructured":"M.G. Menelaou, J.A. Purchase, R.L. Winder: On Debuggers and Debugging Tools and Techniques, UCL Research Note, London, UK, 1989."},{"key":"17_CR15","unstructured":"D. Maier, D.S. Warren: Computing with Logic: Logic Programming with PROLOG, Ed. Benjamin Cummings, 1988."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"U. Nilsson: Towards a Methodology for the Design of Abstract Machines for LP Languages, to appear in The Journal of Logic Programming, vol. 6, num. 1, 1993.","DOI":"10.1016\/0743-1066(93)90026-D"},{"issue":"n.3","key":"17_CR17","first-page":"10","volume":"4","author":"J.A. Purchase","year":"1992","unstructured":"J.A. Purchase, R.L. Winder: Debugging Tools for Object Oriented Programming, Journal of Object Oriented Programming, vol. 4, n. 3, June 1992, pp. 10\u201327.","journal-title":"Journal of Object Oriented Programming"},{"issue":"n.4","key":"17_CR18","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1016\/0743-1066(92)90054-7","volume":"13","author":"D.M. Russinoff","year":"1992","unstructured":"D.M. Russinoff: A Verified PROLOG Compiler for the Warren Abstract Machine, Journal of Logic Programming, vol. 13, n. 4, August 1992, pp. 367\u2013412.","journal-title":"Journal of Logic Programming"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"E.Y. Shapiro: Algorithmic Program Debugging, The MIT Press, 1982.","DOI":"10.1145\/582153.582185"},{"key":"17_CR20","unstructured":"R. Stallman: GDB+ Manual, The gnu C++ Debugger, MA, 1988."},{"key":"17_CR21","unstructured":"B. Stroustrup: The Programming Language C++, Addison Wesley, 1987."},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"P.A. Srekely, B.A. Myers: A User Interface Toolkit based on Graphical Objects and Constraints, Proceedings OOPSLA'88, 1988.","DOI":"10.1145\/62083.62088"},{"key":"17_CR23","volume-title":"Technical Note 309","author":"D.H.D. Warren","year":"1983","unstructured":"D.H.D. Warren: An Abstract Prolog Instruction Set, Technical Note 309, SRI International, Menlo Park, California, October 1983."}],"container-title":["Lecture Notes in Computer Science","Automated and Algorithmic Debugging"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019413.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:42:35Z","timestamp":1607550155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019413"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540574174"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0019413","relation":{},"subject":[]}}