SEARCH Articles Figures Tables Halting problem Using the Halting Problem to Measure Software Complexity