caa a22 4500 467988668 CHVBK 20180323112539.0 cr unu---uuuuu 170328e19900801xx s 000 0 eng 10.1007/BF03037471 doi (NATIONALLICENCE)springer-10.1007/BF03037471 Snyder Robin Computer Science Department, Whitmore Laboratory, The Pennsylvania State University, 16802, University Park, PA, USA aut Lazy debugging of lazy functional programs [Elektronische Daten] [Robin Snyder] The debugging of fully lazy functional programs can require searching a very large reduction-history space containing many delayed computations. A debugger should provide a means to obtain a source level representation of the computation, which can be large, and a means to select the appropriate part of the computation to investigate, which can be difficult. A method is presented to compile functional programs to combinator code such that a source-like representation of any part of a computation graph can be efficiently reconstructed at run-time. Other less efficient methods require excessive compile-time guidance as to the specific part of the computation to be investigated. Reconstruction, forward reduction, and a history-rollback mechanism combine to make the entire source-like reduction-history space dynamically available at run-time. The deferring of debugging decisions until run-time is called lazy dubugging. Once the computation-sequence is meaningfully and efficiently available, the problem of debugging becomes that of localizing the search for the error. Some searching issues are discussed with respect to graph browsing and user-interface design. The method shows promise as a programmer tool to debug programs and to informally reason about the time and space behavior of fully lazy functional programs, a nonintuitive process due to the subtleness of sharing and delayed computations. Ohmsha, Ltd. and Springer, 1990 Functional Programming nationallicence Debugging nationallicence Lazy Evaluation nationallicence Combinators nationallicence New Generation Computing Springer-Verlag 8/2(1990-08-01), 139-161 0288-3635 8:2<139 1990 8 354 https://doi.org/10.1007/BF03037471 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF03037471 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Snyder Robin Computer Science Department, Whitmore Laboratory, The Pennsylvania State University, 16802, University Park, PA, USA aut NATIONALLICENCE 773 0- New Generation Computing Springer-Verlag 8/2(1990-08-01), 139-161 0288-3635 8:2<139 1990 8 354 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer