<--- Back to Details
First PageDocument Content
Recursion / Computability theory / Theory of computation / Subroutines / Programming idioms / Primitive recursive function / Aall / Tail call / Dynamic programming / Computer programming / Computing / Software engineering
Date: 2006-12-05 12:57:55
Recursion
Computability theory
Theory of computation
Subroutines
Programming idioms
Primitive recursive function
Aall
Tail call
Dynamic programming
Computer programming
Computing
Software engineering

Optimizing Ackermann’s Function by Incrementalization∗ Yanhong A. Liu

Add to Reading List

Source URL: www.cs.stonybrook.edu

Download Document from Source Website

File Size: 89,40 KB

Share Document on Facebook

Similar Documents

Systems Architecture The Stack and Subroutines The Stack – p. 1/9

DocID: 1utuR - View Document

Software engineering / Computing / Computer programming / Subroutines / Data types / Anonymous function / Functional programming / Lambda calculus / Exponentiation / ATS / Array data type / Parameter

The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents

DocID: 1rtHJ - View Document

Professional wrestling / Computer programming / Event / Subroutines

NSS Chapter Activities Report for Chapter Activities/Events ReportFor each event, report the speaker or chapter participant name & their title), the event title and type (lecture, meeting, school visit, display,

DocID: 1rq5b - View Document

Software engineering / Computer programming / Computing / Type theory / Data types / Functional programming / Subroutines / Lambda calculus / Subtyping / Const / Unification / Type system

Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

DocID: 1rpwd - View Document

Mathematics / Arithmetic / Computer arithmetic / Mathematical analysis / Subroutines / Theoretical computer science / Data types / Numerical analysis / Rounding / Parameter / Derivative / Interval arithmetic

Users’ manual for the Sollya tool Release 5.0 Sylvain Chevillard Christoph Lauter

DocID: 1rosb - View Document