Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
501	Structural Complexity And The Acquisition Of Recursive Locative PPs Tyler Peterson (Arizona), Ana Pérez-Leroux (Toronto), Anny Castilla-Earls (SUNY/Fredonia), Susana Béjar, Diane Massam (Toronto) Phase-based models of Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:42 Programming idioms Grammar Theoretical computer science Computability theory Theory of computation Recursion Semantics Syntax Preposition and postposition Linguistics Computer programming Mathematics
502	7th BME International 24-hour Programming Contest Qualifying Round Problem Set 3rd March, 2007 Add to Reading List Source URL: ch24.org Language: English - Date: 2010-12-16 06:07:48 Data differencing Diff Pattern matching Recursion Function Number Microsoft Word ZPAQ AWK Computing Mathematics Software
503	What’s the base case? 13 How Recursion Works Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:16 Programming idioms Computability theory Recursion Theory of computation Subroutines Computer programming Software engineering Computing
504	ACL2 for Freshmen: First Experiences Carl Eastlund [removed] Dale Vaillancourt [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Mathematical logic Theoretical computer science Lisp programming language Formal methods Logic in computer science ACL2 Mathematical proof Formal verification Recursion Mathematics Computing Computer programming
505	Zoom in on some parts of a fractal and you’ll see a miniature version of the whole thing. 15 Advanced Recursion Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:17 Programming idioms Recursion Mathematical logic Theoretical computer science Sorting algorithms Merge sort Fold Algorithm Function Mathematics Computer programming Computing
506	Microsoft Word - 06-Formal-Grammars.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 17:00:37 Grammar Context-free grammar Formal grammar Left recursion Top-down parsing Parsing Terminal and nonterminal symbols Context-sensitive grammar Parse tree Formal languages Linguistics Software engineering
507	Decomposing English and and or Linmin Zhang ([removed]), Department of Linguistics, New York University Background: English and and or are traditionally analyzed as boolean operators u and t (von Stechow 1974, Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:59 Μ operator Constructible universe Function Software engineering Computing Mathematics Fold Recursion
508	Automatic Refactoring of Erlang Programs Konstantinos Sagonas Thanassis Avgerinos School of Electrical and Computer Engineering, Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2009-09-15 01:54:46 Higher-order functions Erlang programming language Recursion Code refactoring Extreme programming Erlang List comprehension Filter Lambda Software engineering Computing Computer programming
509	Part IV Recursion By now you’re very familiar with the idea of implementing a function by composing other functions. In effect we are breaking down a large problem into smaller parts. The idea of recursion—as usual, Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:15 Computing Recursion Computability theory Theory of computation Mathematical logic There Was an Old Lady Who Swallowed a Fly FO Infinite loop Reduction Computer programming Theoretical computer science Programming idioms
510	Extended Abstract Preprint for IFL[removed]Flipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Category theory Higher-order functions Adjoint functors Functional programming Fold Recursion Map Monad Combinatorial species Abstract algebra Declarative programming Software engineering

UPDATE