Automatic synthesis of numerical computer programs

  • Authors:

  • Richard H. Brown

  • Affiliations:

  • GTE Laboratories, Inc., Waltham, MA

  • Venue:
  • IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
  • Year:
  • 1981

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper is about rule-based problem solving. It has a motto: The less a rule can do, the better the effects of using it can be predicted. This motto suggests the key to obtaining coherent behavior by avoiding exponential behavior (combinatorial explosion) in a problem solving program for the domain of synthesizing numerical computer programs from their non-procedural specifications