Improving Programs by the Introduction of Recursion

Improving Programs by the Introduction of Recursion

Podrobná bibliografie
Hlavní autor:	Bird, R
Médium:	Journal article
Vydáno:	1977

Podobné jednotky

Tabulation Techniques for Recursive Programs
Autor: Bird, R
Vydáno: (1980)

Notes on Recursion Elimination
Autor: Bird, R
Vydáno: (1977)

Non Recursive Functionals
Autor: Bird, R
Vydáno: (1975)

Zippy Tabulations of Recursive Functions
Autor: Bird, R
Vydáno: (2008)

Recursion Elimination with Variable Parameters
Autor: Bird, R
Vydáno: (1979)

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

Recursive programming techniques /
Autor: Burge, William H
Vydáno: (1975)

On learning polynomial recursive programs
Autor: Buna-Marginean, A, a další
Vydáno: (2024)

Computability : an introduction to recursive function theory /
Autor: 367112 Cutland, Nigel
Vydáno: (1980)

Computability theory : an introduction to recursion theory /
Autor: 461543 Enderton, Herbert B.
Vydáno: (c201)

Proof of a Recursive Program: Quicksort
Autor: Foley, M, a další
Vydáno: (1971)

Recursed is not recursive: A jarring result
Autor: Demaine, ED, a další
Vydáno: (2022)

On recursion
Autor: Watumull, Jeffrey, a další
Vydáno: (2014)

Recursiveness /
Autor: 430157 Eilenberg, Samuel
Vydáno: (1970)

Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability
Autor: Meyer, Albert R., a další
Vydáno: (2023)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
Autor: 430372 Hermes, Hans
Vydáno: (1969)

Pipelined recursive filter : the recursive greedy way of design
Autor: Ong, Van Vinh
Vydáno: (2015)

Primitive Recursion
Autor: Levin, Michael
Vydáno: (2004)

Prosody and recursion
Autor: Wagner, Michael, Ph. D. Massachusetts Institute of Technology
Vydáno: (2006)

Recursive functions /
Autor: 430594 Peter, Rozsa
Vydáno: (1967)

Thinking recursively /
Autor: 203886 Roberts, Eric
Vydáno: (1986)

Model Checking Recursive Programs with Numeric Data Types
Autor: Hague, M, a další
Vydáno: (2011)

Recursive descent compiling /
Autor: Davie, A. J. T. (Antony J. T.), 1939-, a další
Vydáno: (1981)

An Introduction to Functional Programming
Autor: Bird, R, a další
Vydáno: (1988)

Introduction to Functional Programming Using Haskell
Autor: Bird, R
Vydáno: (1998)

On-the-fly Race Detection for Programs with Recursive Spawn-Sync Parallelism
Autor: He, Yuxiong, a další
Vydáno: (2003)

Recursive Soft Drop
Autor: Necib, Lina, a další
Vydáno: (2018)

Recursive Robotic Assemblers
Autor: Smith, Miana M.
Vydáno: (2023)

Recursion on inadmissible ordinals
Autor: Friedman, Sy David
Vydáno: (2005)

Games for recursive types
Autor: Abramsky, S, a další
Vydáno: (1995)

Categories in recursion theory,
Autor: Wasserman, Michael Gary.
Vydáno: (2020)

Recursive interlocking puzzles
Autor: Song, Peng., a další
Vydáno: (2013)

Recursive Data Structures
Autor: Hoare, C
Vydáno: (1975)

Responsibility and the recursion problem
Autor: Davies, B
Vydáno: (2021)

Generalized recursion theory
Vydáno: (1974)

Recursive soft drop
Autor: Dreyer, F, a další
Vydáno: (2018)

Logic, sets, and recursion /
Autor: 332434 Causey, Robert L.
Vydáno: (2006)

Recursion-theoretic hierarchies /
Autor: 366611 Hinman, Peter G.
Vydáno: (1978)

E-recursively enumerable degrees
Autor: Griffor, Edward R.
Vydáno: (2005)

Unifying Structured Recursion Schemes
Autor: Hinze, R, a další
Vydáno: (2013)