---
title: "PAPE: An On-Line System for Inferring Procedures from Sets of Their Traces"
authors:
  - "F.-Y. Villemin"
doi: ""
url: "https://ijcai.org/proceedings/1981/191"
pdf: "https://ijcai.org/proceedings/1981/0191.pdf"
venue: "Proceedings of the Seventh International Joint Conference on Artificial Intelligence"
year: 1981
pages: "1004-1005"
track: "Automatic Programming"
keywords:
---

# PAPE: An On-Line System for Inferring Procedures from Sets of Their Traces

F.-Y. Villemin

*Proceedings of the Seventh International Joint Conference on Artificial Intelligence*, pages 1004-1005.

## Abstract

Many learning-by-example problems can be viewed as infering structured non recursive procedures from sets of their traces knowing the basic functions and predicates, used to write them. The on-line system PAPE does this as follows, an example (data + trace) is given. PAPE first checks whether the already learned procedure gives the same trace with the given input data. If not, the trace is transformed into a procedure body (in O(tp) time, where t it is the length of the trace, and, p an integer depending upon the procedure and the basic functions and predicates), and then merges this body with the actual one to get the new procedure body.