A SUPPORT SYSTEM FOR UNDERSTANDING LIST PROCESSING PROGRAMS WHICH GENERATES EXPLANATIONS AND INPUT-OUTPUT EXAMPLES

Authors
HATORI K NAGATA M
Citation
K. Hatori et M. Nagata, A SUPPORT SYSTEM FOR UNDERSTANDING LIST PROCESSING PROGRAMS WHICH GENERATES EXPLANATIONS AND INPUT-OUTPUT EXAMPLES, Systems and computers in Japan, 26(2), 1995, pp. 22-35
Citations number
13
Categorie Soggetti
Computer Science Hardware & Architecture","Computer Science Information Systems","Computer Science Theory & Methods
Journal title
Systems and computers in Japan → ACNP
ISSN journal
08821666
Volume
26
Issue
2
Year of publication
1995
Pages
22 - 35
Database
ISI
SICI code
0882-1666(1995)26:2<22:ASSFUL>2.0.ZU;2-I
Abstract
We propose a system to support the human activity of understanding sou rce code, which generates two descriptions: English-language explanati ons and input-output examples of programs. When the Prolog source code is given to our system, it extracts the basic relations are adjusted, they are converted into formal ones. Our system reconsiders these rel ations globally and reconstructs them. We have implemented a prototype system and have performed experiments that show the effectiveness of our approach. We discuss an extension of our approach which can be app lied to procedural languages.