| Author | Duong Tuan Anh |
| Call Number | AIT Thesis no.CS-89-21 |
| Subject(s) | Prolog (Computer program language)
|
| Note | A thesis submitted in partial fulfillment of the requirements for
the degree of Master of Engineering |
| Publisher | Asian Institute of Technology |
| Abstract | The knowledge about functionality of predicates in a Prolog
program is very crucial to improve performance of Prolog system.
Using abstract interpretation as a general and systematic
framework for a sound compile-time program analysis, a better
understating and a more elegant method for functionality
detection has been reached. This thesis shows that a particular
form of abstract interpretation, developed by BURN et al. (1986)
can be used for this purpose. Furthermore, it points out that we
can integrate mode and functionality in one pass of dataflow
analysis. This integration makes it easier to embed mode and
functionality analysis into an optimizing Prolog compiler.
A system to infer mode and functionality of all the predicates in a given program has been implemented and the implementation shows that the method suggested is precise and efficient.
Besides, in order to deal with total functionality, the thesis suggests an approach to detect termination of an important class of recursive predicates: the predicates having the “recursion on structure” property. |
| Year | 1989 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Phan, Minh Dung; |
| Examination Committee(s) | Kanchana Kanchanasut;Huynh, Ngoc Phien; |
| Scholarship Donor(s) | Japanese Government; |
| Degree | Thesis (M.Eng.) - Asian Institute of Technology, 1989 |