Chapter 2: Proving the Correctness of Algorithmic Debugging for Functional Programs

Yong Luo; Chitil, Olaf
September 2007
Trends in Functional Programming Volume 7;2007, Vol. 7, p19
Book Chapter
This paper presents a formal model of tracing for functional programs based on a small-step operational semantics. The model records the computation of a functional program in a graph which can be utilised for various purposes such as algorithmic debugging. The main contribution of this paper is to prove the correctness of algorithmic debugging for functional programs based on the model. Although algorithmic debugging for functional programs is implemented in several tracers such as Hat, the correctness has not been formally proved before. The difficulty of the proof is to find a suitable induction principle and a sufficiently general induction hypothesis.


Related Articles

  • AN OPTIMAL SOFTWARE DEBUGGING MODEL. Radermacher, F. J.; Ross, S. M.; Wee, N. S. // Annals of Operations Research;1991, Vol. 32 Issue 1-4, p141 

    This paper deals with the question of optimal debugging times for large-scale computer programs, given certain assumptions concerning the distribution of error within the program, the cost that is incurred whenever a fault occurs, and the cost of debugging, Modeling takes place within the...

  • You Don't Have to Live With Browser Crashes. Heim, Judy // PCWorld;Sep1999, Vol. 17 Issue 9, p257 

    Offers answers to several questions on computer problems that users may have on the Internet. Troubleshooting browser crashes; Using Netscape's troubleshooting page to find a directory of crash symptoms and links to solutions; How to help Outlook Express remember the typeface and font size;

  • Catch That Bug!  // SQL Server Magazine;Mar2006, Vol. 8 Issue 3, p20 

    The article offers a solution to a computer bug problem in a program for listing customers and orders. The problem is how to return the details of the customers who made orders without getting back to details of all the customers, including those who had no orders. The article explains the...

  • Testing of Programs with Random Generated Test Cases. MANEV, Krassimir; YOVCHEVA, Biserka; YANKOV, Milko; PETROV, Peter // Olympiads in Informatics;2010, Vol. 4, p76 

    Testing of computer programs is an essential part of the evaluation process of a programming contest. It is a mix of functional and non functional testing and a specific case of the “black box” testing well known from the domain of Software engineering. The paper discusses one of the...

  • Windows Scripting Tips. Otey, Michael // Windows IT Pro;Dec2005, Vol. 11 Issue 12, p63 

    The article offers tips on writing scripts. It is noted that script developers who use a real scripting editor get more good scripting done. The HTA Helpomatic tool from Microsoft can help developer generate HTML applications to provide a graphical user interface for the scripts. The Microsoft...

  • Empower Others to Solve Computer Problems. Goldsborough, Reid // Black Issues in Higher Education;8/26/2004, Vol. 21 Issue 14, p44 

    Suggests techniques on preventing and solving computer-related problems. Importance of ensuring the availability of problem-preventing software; Need for the use of individual programs from different software companies; Creation of a list of user-friendly steps in troubleshooting.

  • Chapter 8: Systematic Search for Lambda Expressions. Katayama, Susumu // Trends in Functional Programming Volume 6;2007, Vol. 6, p111 

    We present a system for inductive synthesis of small functional programs by trial and error, or just by generating a stream of all the type-correct programs in a systematic and exhaustive manner and evaluating them. The main goal of this line of research is to ease functional programming, to...

  • About software `bugs'. Yonda, Marge // Air Conditioning, Heating & Refrigeration News;5/17/93, Vol. 189 Issue 3, p15 

    Discusses computer software's bug problems. Origin of the programming term `bugs'; Quality control versus competitive pressure; Nature of all software; California State Assembly member Gloria Molina's introduction of legislation that requires software publishers to warranty their programs as...

  • Knowledge-Based Program Debugging Systems. Seviora, Rudolph E. // IEEE Software;May87, Vol. 4 Issue 3, p20 

    Focuses on the advantages of knowledge-based debugging systems for computer programs. Use of program-analysis approach; Collection of execution-time information; Enhancement of causal and formal reasoning from the program source.


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics