Nontermination debugging of Prolog programs.
by Lam, Hin-ki Isaac. === Thesis (M.Phil.)--Chinese University of Hong Kong, 1992. === Includes bibliographical references (leaves 219-220). === Chapter Chapter 1 --- Introduction --- p.1 === Chapter 1.1 --- The Problem --- p.1 === Chapter 1.2 --- Related Works --- p.3 === Chapter 1.3 --- Contrib...
| Other Authors: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Chinese University of Hong Kong
1992
|
| Subjects: | |
| Online Access: | http://library.cuhk.edu.hk/record=b5887742 http://repository.lib.cuhk.edu.hk/en/item/cuhk-319179 |