AI SearchAn application of abstract interpretation: detecting functional computations in prolog programs (Record no. 6449)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02761nam a2200385 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260817162829.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 280898 th eng |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | .b10070412 |
| 099 #9 - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | AIT Thesis no.CS-89-21 |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Duong Tuan Anh |
| 245 13 - TITLE STATEMENT | |
| Title | An application of abstract interpretation: detecting functional computations in prolog programs |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Bangkok : |
| Name of publisher, distributor, etc. | Asian Institute of Technology, |
| Date of publication, distribution, etc. | 1989 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 73 p. + |
| Accompanying material | 1 online resource |
| 490 1# - SERIES STATEMENT | |
| Series statement | Thesis ; |
| Volume/sequential designation | no. CS-89-21 |
| 500 ## - GENERAL NOTE | |
| General note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (M.Eng.) - Asian Institute of Technology, 1989 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Prolog (Computer program language) |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Phan, Minh Dung, |
| Relator term | Chairperson |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kanchana Kanchanasut, |
| Relator term | Examination Committee |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Huynh, Ngoc Phien, |
| Relator term | Examination Committee |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Japanese Government, |
| Relator term | Examination committee |
| 810 2# - SERIES ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Asian Institute of Technology. |
| Title of a work | Thesis ; |
| Volume/sequential designation | no. CS-89-21 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Full-Text |
| Uniform Resource Identifier | <a href="http://203.159.5.9/ait-thesis/detail.php?q=B17660">http://203.159.5.9/ait-thesis/detail.php?q=B17660</a> |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | .b10070412 |
| b | mnait |
| c | x |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
| a | 240409 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| Operator's initials, OID (RLIN) | 2 |
| Cataloger's initials, CIN (RLIN) | 951012 |
| First date, FD (RLIN) | m |
| -- | a |
| -- | x |
| -- | 3 |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnarc |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 22-AIT Thesis (Replacement) |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 40-Archives |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120677652 |
| CREATED | CREATED : 2014-02-18 |
| RECORD Id | RECORD # : i12766100 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120373260 |
| CREATED | CREATED : 2016-08-06 |
| RECORD Id | RECORD # : i13023901 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 17/08/2026 | 50.00 | AIT Thesis no.CS-89-21 | 30050120677652 | 17/08/2026 | 3 | 17/08/2026 | 22-AIT Thesis (Replacement) | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 17/08/2026 | AIT Thesis no.CS-89-21 | 30050120373260 | 17/08/2026 | 17/08/2026 | 40-Archives |