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
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.