1 AIT Asian Institute of Technology

Complexicity in analysing programs for termination

AuthorTan, Christine Uy
Call NumberAIT RSPR no. CS-87-3
Subject(s)Programming (Electronic computers)--Ability testing
NoteA research study submitted in partial fulfillment of the requirements for the degree of Master of Science, School of Engineering and Technology
PublisherAsian Institute of Technology
AbstractTermination of programs is an important concern in programming. This research studies three methods for proving the termination of computer programs • The test case approach, loop approach, and exit approach are analyzed on the basis of their effectiveness in deciding termination and the complexity of applying the methods on programs having sequence, selection and iteration control structures.
Year1987
TypeResearch Study Project Report (RSPR)
SchoolSchool of Engineering and Technology (SET)
DepartmentOther Field of Studies (No Department)
Academic Program/FoSComputer Science (CS)
Chairperson(s)Venkatachalam, P.A.
Examination Committee(s)Huynh Ngoc Phien ;Vilas Wuwongse
Scholarship Donor(s)Government of Japan
DegreeResearch Studies Project Report (M. Sc.) - Asian Institute of Technology, 1987


Usage Metrics
View Detail0
Read PDF0
Download PDF0