Exploring linear size-change terminating programs

Ph.DDOCTOR OF PHILOSOPH

From abstract programs to precise asymptotic closed-form bounds

Tesis inédita de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, leída el 29-05-2014.Depto. de Sistemas Informáticos y ComputaciónFac. de InformáticaTRUEunpu

Calculating polynomial runtime properties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)3780 LNCS230-24