Title :
On the efficiency of programs in subrecursive formalisms
Author :
Constable, Robert L. ; Borodin, Allan
Abstract :
We study the effect of program structure on computational efficiency in a class of abstract languages which model actual high-level numerical programming languages (like ALGOL). The results have bearing on programming technique (the use of go to statements), and they yield interesting facts about Blum´s speed-up theorem for subrecursive computational complexity.
Keywords :
Computational complexity; Computational efficiency; Computer aided instruction; Computer languages; Computer science; High level languages; Numerical models; Prototypes; Strontium; Writing;
Conference_Titel :
Switching and Automata Theory, 1970., IEEE Conference Record of 11th Annual Symposium on
Conference_Location :
USA
DOI :
10.1109/SWAT.1970.16
