Automatic complexity analysis of logic programs.
This dissertation describes research toward automatic complexity analysis of logic programs and its applications. Automatic complexity analysis of programs concerns the inference of the amount of computational resources consumed during program execution, and has been studied primarily in the context...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
The University of Arizona.
1993
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10150/186287 |