---
title: "Automatic Programming From Data Types Decomposition Patterns"
authors:
  - "Christian Gresse"
doi: ""
url: "https://ijcai.org/proceedings/1983/8"
pdf: "https://ijcai.org/proceedings/1983/0008.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "37-38"
track: "Automatic Programming"
keywords:
---

# Automatic Programming From Data Types Decomposition Patterns

Christian Gresse

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, pages 37-38.

## Abstract

A running system is presented which provides powerful support to the user while designing programs. This system automatically constructs program schemas by decomposition of the datas involved in the specification. Datas are specified within a knowledge-base as data types having associated decomposition patterns. The use 'r may combine different data-decomposition strategies with any of its decomposition patterns. So it is possible to build several program schemas for the same problem. Once a program schema is built the user can instantiate or adapt it by hand. He can also apply the system repetitively until he obtains primitive problems which can be solved directly.