BibSonomy bookmarks for /user/mobileink/recursion

datadec - ANSI C Recursive Data Type Generator

mobileink — 2006-07-02T03:49:24+02:00

Datadec takes recursive data types modelled on those found in functional languages (Hope, Miranda, Haskell etc) and generates ANSI C code to implement them.

Induction, Recursion, and Recurrences

mobileink — 2006-01-27T02:51:03+01:00

http://72.14.203.104/search?q=cache:BMyfIE3nSO0J:www.cs.dartmouth.edu/~ac/Teach/CS21-Winter04/ch4.pdf+induction+recursion&hl=en&gl=us&ct=clnk&cd=10&client=firefox-a

Structural Induction

mobileink — 2006-01-26T12:42:46+01:00

http://www.cs.cmu.edu/People/rwh/introsml/techniques/structur.htm

Quine's NF--60 years on

mobileink — 2006-01-26T12:16:17+01:00

set theory

recursion

mobileink — 2006-01-26T11:56:23+01:00

definition

Stack Free Recursion

mobileink — 2006-01-26T09:27:58+01:00

A method of building recursive functions in systems that don't have a data stack is presented...We reduce beautiful recursive code to unintelligible spaghetti code that uses less memory and sometimes is faster.

Introduction to Logic and Recursion Theory

mobileink — 2006-01-26T09:16:51+01:00

class notes

Programming with Recursion

mobileink — 2006-01-26T09:11:44+01:00

tutorial

recursion

mobileink — 2006-01-26T08:57:16+01:00

sample pgms in C

Self-Recursion -- From MathWorld

mobileink — 2006-01-26T08:37:11+01:00

"Self-recursion is a recursion that is defined in terms of itself, resulting in an ill-defined infinite regress." Huh?

High and Low-Level C

mobileink — 2006-01-26T08:33:41+01:00

C coding