Knowledge-based programming self applied
1986
ABSTRACT 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 rule compiler. The high-level description and the use of a programming knowledge base provide potential for system performance to improve with added knowledge.
Keywords:
- First-generation programming language
- Inductive programming
- Programming domain
- Procedural programming
- Functional logic programming
- Reactive programming
- Extensible programming
- Fifth-generation programming language
- Theoretical computer science
- Computer science
- Programming language
- Symbolic programming
- Programming paradigm
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
15
References
15
Citations
NaN
KQI