A knowledge base organization for rules about programming

Authors:
David Barstow
Affiliations:
Stanford University Stanford, CA
Venue:
ACM SIGART Bulletin
Year:
1977

Citing 3
Cited 2

The design of the PSI program synthesis system
Observations on the interaction between coding and efficiency knowledge in the PSI Program Synthesis System

ICSE '76 Proceedings of the 2nd international conference on Software engineering
Automatic construction of algorithms and data structures using a knowledge base of programming rules.

Automatic construction of algorithms and data structures using a knowledge base of programming rules.

Automatic model synthesis: using automatic programming and expert systems techniques toward simulation modeling

WSC '87 Proceedings of the 19th conference on Winter simulation
Program Transformation Systems

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

PECOS is a knowledge-based system for automatic program synthesis. Programs are specified as abstract algorithms in a high-level language for symbolic computation. Through the successive application of programming rules, the specification is gradually refined into a concrete implementation in the target language. The existence of several rules for the same task permits the construction of a variety of distinct programs from a single initial specification. Internally, program descriptions are represented as collections of nodes, each labeled with a programming concept and with other properties related to that concept. The refinement process is guided by the selection and application of rules about programming. These rules are stated as condition-action pairs, but the identification of certain rule types permits the use of various techniques for efficient rule retrieval and testing, including the determination of retrieval patterns and the automatic separation of the condition into an applicability pattern and a binding pattern.