Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
341	An Overview of the Leon Verification System Verification by Translation to Recursive Functions Régis Blanc Viktor Kuncak Etienne Kneuss Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-06-11 12:02:50 Data types Higher-order functions Type theory Recursion Source code Algebraic data type Satisfiability Modulo Theories Map ALGOL 68 Software engineering Computer programming Computing
342	© Jens-Helge Dahmen Air Ship "Leonardo" The myth of Leonardo da Vinci as the genius that, in the second half of the 15th Add to Reading List Source URL: www.papierfalten.de Language: English - Date: 2007-05-22 17:27:49 Declarative programming Fold Recursion Anamorphism Yoshizawa-Randlett system Origami Software engineering Functional programming
343	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-24 08:03:06 Recursion Computability theory Theoretical computer science Function Binomial coefficient Factorial Scheme Fixed-point combinator Lambda calculus Mathematics Combinatorics Integer sequences
344	Structural Recursion for Querying Ordered Graphs Soichiro Hidaka Zhenjiang Hu Kazuyuki Asada ∗ Hiroyuki Kato Add to Reading List Source URL: www.biglab.org Language: English - Date: 2013-08-08 04:22:59 Π-calculus Fold Tree Signed graph Comparability graph Graph theory Mathematics Graph
345	Bayesian Learning of Recursively Factored Environments Marc Bellemare Joel Veness Michael Bowling University of Alberta, Edmonton, Canada, T6G 2E8 Add to Reading List Source URL: jveness.info Language: English - Date: 2013-05-27 08:48:20 Science Graphical model Hidden Markov model Factorization Dynamic programming Recursion Mathematics Statistics Markov models
346	Shift to control Chung-chieh Shan Harvard University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:32 Continuations Lambda calculus Control flow Recursion Delimited continuation Programming language semantics Continuation-passing style Continuation Call-with-current-continuation Software engineering Computer programming Computing
347	Well-founded Recursion over Contextual Objects Brigitte Pientka1 and Andreas Abel2 1 2 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2015-02-07 05:55:59 Functions and mappings Model theory Computability theory Interpretation Philosophy of mind Semantics Primitive recursive function Function First-order logic Mathematical logic Mathematics Logic
348	PDF Document Add to Reading List Source URL: www.simonphipps.com Language: English - Date: 2012-06-11 16:58:57 Computing Phyllocnistis Computer programming Protein domains Fold Recursion Software engineering
349	Programming Techniques for Partial Evaluation Olivier Danvy BRICS † Department of Computer Science University of Aarhus ‡ January 2000 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lambda calculus Functional programming Subroutines Recursion Scheme Combinatory logic Closure Function Lambda Software engineering Declarative programming Computing
350	DOC Document Add to Reading List Source URL: www.mil.ufl.edu Language: English - Date: 2005-11-30 14:18:17 C++ C programming language Subroutines Programming idioms Recursion Sequence container C++ classes Main function ALGOL 68 Computer programming Software engineering Computing

UPDATE