ML Anthology

Program Inference from Traces Using Multiple Knowledge Sources

J. V. Phillips
IJCAI 1977 pp. 812
/ijcai/1977/phillips1977ijcai-program/

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.

PDF Semantic Scholar

Cite

Text

Phillips. "Program Inference from Traces Using Multiple Knowledge Sources." International Joint Conference on Artificial Intelligence, 1977.

Markdown

[Phillips. "Program Inference from Traces Using Multiple Knowledge Sources." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/phillips1977ijcai-program/)

BibTeX

@inproceedings{phillips1977ijcai-program,
  title     = {{Program Inference from Traces Using Multiple Knowledge Sources}},
  author    = {Phillips, J. V.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1977},
  pages     = {812},
  url       = {https://mlanthology.org/ijcai/1977/phillips1977ijcai-program/}
}