A System to Understand Incorrect Programs

You can't request more than 20 challenges without solving them. Your previous challenges were flushed.
Courtesy Lambda the Ultimate - Programming Languages Weblog  Mon, 07/21/2008 - 05:44

An ancient paper (July 1978: 30 years ago) from the long gone Lisp Bulletin by Harald Wertz.

The system describes attempts to improve incompletely specified Lisp programs, without however resorting to more information, in the form of specifications, test cases or the like.

A second paper on the system is Stereotyped Program Debugging: an Aid for Novice Programmers.

Tags:

 

More related items

Student Bay Admin Prosecuted in Sweden
After a process lasting more than three years, a man from Sweden has finally been prosecuted for his role in the operations of Student Bay, a site dedicated to the sharing of textbooks....

A foundation for the desktop – one apple, two ideas
The H Open: "The often predicted tipping point for Linux on the desktop just never seems to materialise, despite a variety of attempts from numerous companies."

The Media's Awkward Attempts Explaining What the Hell...
LulzSec's recent chaos-spree has earned it a lot of press coverage, some of which is spent painfully attempting to explain just what in Internet God's name LulzSec means.


 

Post new comment

The content of this field is kept private and will not be shown publicly.
computer-internet.marc8.com