Program Inference from Traces using Multiple Knowledge Sources

Phillips, J. V.

Program Inference from Traces using Multiple Knowledge Sources

Download BibTeX Cite

Proceedings of the Fifth International Joint Conference on Artificial Intelligence. Specialized Systems. 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.

J. V. Phillips. 1977. Program Inference from Traces using Multiple Knowledge Sources. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77. IJCAI, 812–-1. https://ijcai.org/proceedings/1977/193

@inproceedings{ijcai1977p193,
  title     = {Program Inference from Traces using Multiple Knowledge Sources},
  author    = {Phillips, J. V.},
  booktitle = {Proceedings of the Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-77}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Raj Reddy},
  pages     = {812---1},
  year      = {1977},
  note      = {Specialized Systems},
  url       = {https://ijcai.org/proceedings/1977/193},
}

TY  - CPAPER
TI  - Program Inference from Traces using Multiple Knowledge Sources
AU  - Phillips, J. V.
T2  - Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1977
SP  - 812
EP  - -1
UR  - https://ijcai.org/proceedings/1977/193
ER  -