Correct and optimal implementations of recursion in a simple programming language

Journal of Computer and System Sciences

Volumn 9, Issue 3, 1974, Pages 332-354

  Vuillemin, Jean ^a  

^a Iria Laboria 78 Rocquencourt France ^*  (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

EID: 0016334960     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/S0022-0000(74)80048-6     Document Type: Article

References (8)

1. Recursive definitions of partial functions and their computations
2. A preliminary theory of parallel programs
3. Design of the B5000 system
4. Lambda-Calculus Models of Programming Languages
5. Tree-manipulating systems and Church-Rosser theorems
6. Outline of a Mathematical Theory of Computation
7. Syntaxe, Sémantique et Axiomatique d'un langage de Programmation Simple