Results 1 -
2 of
2
On the Expressive Power of the Loop Language
- Nordic Journal of Computing
, 2006
"... imperative programming language similar to the Loop language described by Meyer and Ritchie ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
imperative programming language similar to the Loop language described by Meyer and Ritchie
Theoretical Informatics and Applications Informatique Théorique et Applications Will be set by the publisher A COMPLETE CHARACTERIZATION OF PRIMITIVE RECURSIVE INTENSIONAL BEHAVIOURS
"... Abstract. We give a complete characterization of the class of functions that are the intensional behaviours of Primitive Recursive algorithms. This class is the set of primitive recursive functions that have a null basic case of recursion. This result is obtained using the property of ultimate unari ..."
Abstract
- Add to MetaCart
Abstract. We give a complete characterization of the class of functions that are the intensional behaviours of Primitive Recursive algorithms. This class is the set of primitive recursive functions that have a null basic case of recursion. This result is obtained using the property of ultimate unarity and a geometrical approach of sequential functions on N the set of positive integers. AMS Subject Classification. — Give AMS classification codes —. 1.
