Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
831	The Functional “C” experience Pieter Hartel Add to Reading List Source URL: www.ub.utwente.nl Language: English - Date: 2002-07-17 09:27:00 Programming paradigms Functional programming Imperative programming Object-oriented programming C++ Recursion Declarative programming Algorithm Variable Software engineering Computing Computer programming
832	Packrat Parsers Can Support Left Recursion Alessandro Warth, James R. Douglass, Todd Millstein Add to Reading List Source URL: www.vpri.org Language: English - Date: 2008-12-10 01:30:33 Computer programming Parsing Compiler construction Recursion Programming idioms Parsing expression grammar Left recursion Top-down parsing LR parser Formal languages Software engineering Computing
833	Reasoning about Codata Ralf Hinze Computing Laboratory, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-03-18 10:34:28 Recursion Programming idioms Functional languages Theoretical computer science Self-reference Haskell Pure Constructible universe Corecursion Computer programming Software engineering Computing
834	Unifying Structured Recursion Schemes Ralf Hinze Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-07-24 16:11:42 Adjoint functors Order theory Equivalence of categories Monad Functor Limit Natural transformation C*-algebra Complete Heyting algebra Abstract algebra Mathematics Category theory
835	Productive Coprogramming with Guarded Recursion Robert Atkey Add to Reading List Source URL: bentnib.org Language: English - Date: 2013-07-17 15:22:25 Lambda calculus Predicate logic Symbol Fixed-point combinator Model theory Quantification Function Combinatory logic Type system Mathematical logic Mathematics Logic
836	Ensuring Streams Flow? Alastair Telford and David Turner The Computing Laboratory, The University, Add to Reading List Source URL: kar.kent.ac.uk Language: English - Date: 2011-06-28 11:40:51 Functional programming Recursion Theoretical computer science Computability theory Subroutines Corecursion Coinduction Function Stream Software engineering Declarative programming Computer programming
837	GENERATING FUNCTIONS OF F I B O N A C C I - L I K E SEQUENCES Add to Reading List Source URL: www.fq.math.ca Language: English - Date: 2010-08-30 16:26:54 Combinatorics Field theory Number theory Theory of computation Fibonacci number Factorial Algebraic number field Recursion Binomial coefficient Mathematics Mathematical analysis Integer sequences
838	Announcements Homework Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2004-09-29 10:59:59 Theory of computation Bart Simpson Film Logic Entertainment Mathematical logic Recursion Self-reference
839	Verification Condition Generation via Theorem Proving John Matthews1 , J Strother Moore2 , Sandip Ray2 , and Daron Vroon3 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2011-05-19 21:35:38 Formal methods Programming idioms Computability theory Mathematical logic Formal verification ACL2 Recursion Correctness Isabelle Theoretical computer science Applied mathematics Computer programming
840	LL GRAMMARS LL grammars are a subset of BNF (context-free) grammars. LL grammars impose restrictions on BNF grammars to simplify parsing. LL grammars may be Add to Reading List Source URL: www.cs.uaf.edu Language: English - Date: 2003-02-27 07:57:37 Software engineering Computing Parsing LL parser Recursive descent parser Formal grammar Left recursion Backus–Naur Form Top-down parsing Formal languages Compiler construction Programming language implementation

UPDATE