AI SearchAn application of abstract interpretation: detecting functional computations in prolog programs
Call Number: AIT Thesis no.CS-89-21 Material type:
TextSeries: Asian Institute of Technology. Thesis ; no. CS-89-21Publication details: Bangkok : Asian Institute of Technology, 1989Description: 73 p. + 1 online resourceSubject(s): Online resources: Dissertation note: Thesis (M.Eng.) - Asian Institute of Technology, 1989 Summary: 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 2recursion on structure3 property.
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
22-AIT Thesis (Replacement)
|
Asian Institute of Technology Library AIT Publications | AIT Thesis no.CS-89-21 (Browse shelf(Opens below)) | 3 | Available | 30050120677652 | |||||||||||||
40-Archives
|
Asian Institute of Technology Library Archives | AIT Thesis no.CS-89-21 (Browse shelf(Opens below)) | Available | 30050120373260 |
A thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering
Thesis (M.Eng.) - Asian Institute of Technology, 1989
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 2recursion on structure3 property.
There are no comments on this title.