<<
University of California
Santa Cruz
Automated Termination Analysis for Logic Programs
A dissertation submitted in partial satisfaction
of the requirements for the degree of
Doctor of Philosophy
in
Computer and Information Sciences
by
Kirack Sohn
Decemb er
The dissertation of Kirack Sohn is approved
Allen Van Gelder
Phokion G Kolaitis
Al Kelly
Dean of Graduate Studies and Research
c
Copyright by
Kirack Sohn
iii
Contents
Abstract vii
Acknowledgements viii