By Topic

Algorithmic Program Debugging

Cover Image Copyright Year: 2004
Author(s): Ehud Y. Shapiro
Publisher: MIT Press
Content Type : Books & eBooks
Topics: Computing & Processing
  • Print

Abstract

Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.

  •   Click to expandTable of Contents

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Frontmatter

      Ehud Y. Shapiro Page(s): i - xvi
      Copyright Year: 2004

      MIT Press eBook Chapters

      This chapter contains sections titled: Series Foreword, Acknowledgments , Contents View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Introduction

      Ehud Y. Shapiro Page(s): 1 - 14
      Copyright Year: 2004

      MIT Press eBook Chapters

      This chapter contains sections titled: The problem, Results, Related work, Outline View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Concepts of logic programming and prolog

      Ehud Y. Shapiro Page(s): 15 - 31
      Copyright Year: 2004

      MIT Press eBook Chapters

      This chapter contains sections titled: Logic programs, Prolog View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Program Diagnosis

      Ehud Y. Shapiro Page(s): 32 - 80
      Copyright Year: 2004

      MIT Press eBook Chapters

      This chapter contains sections titled: Assumptions about the programming language, Diagnosing termination with incorrect output, Diagnosing finite failure, Diagnosing nontermination, A diagnosis system, Extending the diagnosis algorithms to full Prolog, Mechanizing the oracle View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Inductive Program Synthesis

      Ehud Y. Shapiro Page(s): 81 - 137
      Copyright Year: 2004

      MIT Press eBook Chapters

      This chapter contains sections titled: Concepts and methods of inductive inference, An algorithm for inductive program synthesis, The Model Inference System, Search strategies, A pruning strategy, Comparison with other inductive synthesis systems View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Program Debugging

      Ehud Y. Shapiro Page(s): 138 - 156
      Copyright Year: 2004

      MIT Press eBook Chapters

      This chapter contains sections titled: The bug - correction problem, A bug correction algorithm, An interactive debugging system View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Conclusions

      Ehud Y. Shapiro Page(s): 157 - 165
      Copyright Year: 2004

      MIT Press eBook Chapters

      This chapter contains sections titled: Algorithmic debugging, Incremental inductive inference, Prolog as a research tool, Prolog versus Lisp, Programming environments and simplicity View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Applications of the Model Inference System

      Ehud Y. Shapiro Page(s): 166 - 184
      Copyright Year: 2004

      MIT Press eBook Chapters

      This chapter contains sections titled: Inferring insertion sort, Inferring a context - free grammar View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Listings

      Ehud Y. Shapiro Page(s): 187 - 214
      Copyright Year: 2004

      MIT Press eBook Chapters

      This chapter contains sections titled: The diagnosis programs, The diagnosis system, The Model Inference System, A general refinement operator, A refinement operator for definite clause grammars, Search strategies, Pruning search of the refinement graph, The interactive debugging system, The bug - correction program, Database interface utilities, General utilities, Initialization, Type inference and checking, A note on Prolog programming style View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      References

      Ehud Y. Shapiro Page(s): 215 - 229
      Copyright Year: 2004

      MIT Press eBook Chapters

      Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms. View full abstract»

    • Full text access may be available. Click article title to sign in or learn about subscription options.

      Index

      Ehud Y. Shapiro Page(s): 231 - 232
      Copyright Year: 2004

      MIT Press eBook Chapters

      Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms. View full abstract»