Program error detection/correction: Turning PAC learning into Perfect learning

  • Manuel Blum
Session 1
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1316)


Computational learning theory is concerned with developing “scratch” a probably approximately correct (PAC) algorithm to solve a given computational problem. Program error detection /correction is concerned with transforming programs — such as these — which are correct on most instances into programs that are correct on all instances. The two approaches together enable one to generate a perfect program from scratch. The goal of this talk is to describe how this latter error detection/correction of algorithms works, and to encourage its integration into learning theory.

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  1. 1.Department of Computer ScienceCity University of Hong KongKowloonHong Kong
  2. 2.University of California

Personalised recommendations