---
title: "Program Inference from Traces using Multiple Knowledge Sources"
authors:
  - "J. V. Phillips"
doi: ""
url: "https://ijcai.org/proceedings/1977/193"
pdf: "https://ijcai.org/proceedings/1977/0193.pdf"
venue: "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"
year: 1977
pages: "812--1"
track: "Specialized Systems"
keywords:
---

# Program Inference from Traces using Multiple Knowledge Sources

J. V. Phillips

*Proceedings of the Fifth International Joint Conference on Artificial Intelligence*, pages 812--1.

## Abstract

This paper presents an overview of a framework for the synthesis of high-level program descriptions from traces and example pairs in an automatic programming system. The framework is described in terms of a methodology and a rule base for generating control and data structure specifications for the program to be synthesized, in a format suitable for transformation into program code in a given target language.