Cordell Green,     Kestrel Institute, 1801 Page Mill Road, Palo Alto, CA 94304 *

Stephen Westfold,     Kestrel Institute 1801 Page Mill Road Palo Alto, CA 94304


A knowledge-based programming system can utilize a very-high-level self description to rewrite and improve itself. This paper presents a specification, in the very-high-level language V, of the rule compiler component of the CHI knowledge-based programming system. From this specification of part of itself, CHI produces an efficient program satisfying the specification. This represents a modest application of a machine intelligence system to a real programming problem, namely improving one of the programming environment’s tools — the ...

Get Readings in Artificial Intelligence and Software Engineering now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.