Improving Programs by the Introduction of Recursion

Improving Programs by the Introduction of Recursion

Detalhes bibliográficos
Autor principal:	Bird, R
Formato:	Journal article
Publicado em:	1977

Registos relacionados

Tabulation Techniques for Recursive Programs
Por: Bird, R
Publicado em: (1980)

Notes on Recursion Elimination
Por: Bird, R
Publicado em: (1977)

Non Recursive Functionals
Por: Bird, R
Publicado em: (1975)

Zippy Tabulations of Recursive Functions
Por: Bird, R
Publicado em: (2008)

Recursion Elimination with Variable Parameters
Por: Bird, R
Publicado em: (1979)

Induction, recursion and programming /
Por: 403876 Mitchell, Wand

Recursive programming techniques /
Por: Burge, William H
Publicado em: (1975)

On learning polynomial recursive programs
Por: Buna-Marginean, A, et al.
Publicado em: (2024)

Computability : an introduction to recursive function theory /
Por: 367112 Cutland, Nigel
Publicado em: (1980)

Computability theory : an introduction to recursion theory /
Por: 461543 Enderton, Herbert B.
Publicado em: (c201)

Proof of a Recursive Program: Quicksort
Por: Foley, M, et al.
Publicado em: (1971)

Recursed is not recursive: A jarring result
Por: Demaine, ED, et al.
Publicado em: (2022)

On recursion
Por: Watumull, Jeffrey, et al.
Publicado em: (2014)

Recursiveness /
Por: 430157 Eilenberg, Samuel
Publicado em: (1970)

Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability
Por: Meyer, Albert R., et al.
Publicado em: (2023)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
Por: 430372 Hermes, Hans
Publicado em: (1969)

Pipelined recursive filter : the recursive greedy way of design
Por: Ong, Van Vinh
Publicado em: (2015)

Primitive Recursion
Por: Levin, Michael
Publicado em: (2004)

Prosody and recursion
Por: Wagner, Michael, Ph. D. Massachusetts Institute of Technology
Publicado em: (2006)

Recursive functions /
Por: 430594 Peter, Rozsa
Publicado em: (1967)

Thinking recursively /
Por: 203886 Roberts, Eric
Publicado em: (1986)

Model Checking Recursive Programs with Numeric Data Types
Por: Hague, M, et al.
Publicado em: (2011)

Recursive descent compiling /
Por: Davie, A. J. T. (Antony J. T.), 1939-, et al.
Publicado em: (1981)

An Introduction to Functional Programming
Por: Bird, R, et al.
Publicado em: (1988)

Introduction to Functional Programming Using Haskell
Por: Bird, R
Publicado em: (1998)

On-the-fly Race Detection for Programs with Recursive Spawn-Sync Parallelism
Por: He, Yuxiong, et al.
Publicado em: (2003)

Recursive Soft Drop
Por: Necib, Lina, et al.
Publicado em: (2018)

Recursive Robotic Assemblers
Por: Smith, Miana M.
Publicado em: (2023)

Recursion on inadmissible ordinals
Por: Friedman, Sy David
Publicado em: (2005)

Games for recursive types
Por: Abramsky, S, et al.
Publicado em: (1995)

Categories in recursion theory,
Por: Wasserman, Michael Gary.
Publicado em: (2020)

Recursive interlocking puzzles
Por: Song, Peng., et al.
Publicado em: (2013)

Recursive Data Structures
Por: Hoare, C
Publicado em: (1975)

Responsibility and the recursion problem
Por: Davies, B
Publicado em: (2021)

Generalized recursion theory
Publicado em: (1974)

Recursive soft drop
Por: Dreyer, F, et al.
Publicado em: (2018)

Logic, sets, and recursion /
Por: 332434 Causey, Robert L.
Publicado em: (2006)

Recursion-theoretic hierarchies /
Por: 366611 Hinman, Peter G.
Publicado em: (1978)

Recursive macroeconomic theory /
Por: Ljungqvist, Lars, et al.
Publicado em: (2012)

E-recursively enumerable degrees
Por: Griffor, Edward R.
Publicado em: (2005)