Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
321	Pushdown Flow Analysis of First-Class Control Dimitris Vardoulakis Olin Shivers Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2011-09-19 12:06:16 Control flow Models of computation Subroutines Recursion Scheme programming language Tail call Stack Data-flow analysis State Software engineering Computer programming Computing
322	POLYA PROBLEM-SOLVING SEMINAR WEEK 3: RECURRENCES BOB HOUGH AND RAVI VAKIL The Rules. These are way too many problems to consider. Just pick a few problems you like and play around with them. Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2007-10-18 14:49:28 Programming idioms Algebra Recurrence relation Number theory Fibonacci number Recursion Factorial Mathematics Integer sequences Theory of computation
323	¨ BRICS RSHuttel & Srba: Recursion vs. Replication in Simple Cryptographic Protocols BRICS Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-12-08 05:15:15 Theoretical computer science Process calculi Π-calculus Communications protocol Ping Computing System software Data
324	CS 70 Spring 2008 Discrete Mathematics for CS David Wagner Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:43 Integer factorization algorithms Euclidean algorithm Greatest common divisor Coprime Multiplicative inverse Modulo operation Recursion Extended Euclidean algorithm Modular multiplicative inverse Mathematics Number theory Modular arithmetic
325	Discrete Applied Mathematics–49 Annealed replication: a new heuristic for the maximum clique problem Immanuel M. Bomzea; ∗ , Marco Budinichb , Marcello Pelilloc , Claudio Rossic Add to Reading List Source URL: www.dais.unive.it Language: English - Date: 2002-12-03 08:21:13 NP-complete problems Functional languages Procedural programming languages Recursion Clique problem Mathematical optimization Clique Independent set Dynamical system Theoretical computer science Mathematics Applied mathematics
326	A Syntactic Type System for Recursive Modules Hyeonseung Im Keiko Nakata Jacques Garrigue Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-04-16 05:17:54 Functional languages Recursion Data types Type theory Procedural programming languages Standard ML OCaml Caml Module Software engineering Computer programming Computing
327	Strategic announcements of reference points in disputes and litigations Add to Reading List Source URL: www.carloalberto.org Language: English - Date: 2013-01-31 11:31:57 Recursion Concave function Prospect theory Utility Software engineering Computing Business Decision theory Convex analysis Fold
328	STAR TREK © J e n s - He l g e Da h m e n Add to Reading List Source URL: www.papierfalten.de Language: English - Date: 2006-02-02 07:15:21 Software engineering Pleat Visual arts Computing Yoshizawa-Randlett system Structural geology Fold Recursion
329	On Deciding Functional Lists with Sublist Sets Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Functional programming Lisp programming language Higher-order functions Data types Recursion Append Fold List Map Software engineering Computing Computer programming
330	Unifying Theories of Programming with Monads Jeremy Gibbons UTP 2012, Aug 2012 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 02:47:30 Higher-order functions Functional programming Adjoint functors Fold Recursion Programming paradigms Map Monad Unification Software engineering Declarative programming Computing

UPDATE