Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
71	. CS711008Z Algorithm Design and Analysis Lecture 6. Basic algorithm design technique: Dynamic programming 1 Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2015-12-15 05:30:54 Operations research Mathematics Applied mathematics Mathematical optimization Dynamic programming Divide and conquer algorithms Algorithm Recursion Optimal substructure Linear programming relaxation
72	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-02-11 10:23:52 Software engineering Computer programming Declarative programming Recursion Theoretical computer science Functional programming Category theory Subroutines Corecursion Fold Coinduction Tail call
73	Reminder: TA Hour Policies • If you h it a b ug, you must b e a ble to show significant e ffort o f Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-11-05 16:51:52 Abstract data types Software engineering Computer programming Computing Queue Stack FIFO Double-ended queue Andries Recursion
74	Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow Add to Reading List Source URL: research.microsoft.com Language: English - Date: 1999-09-06 04:29:36 Software engineering Computer programming Computing Subroutines Type theory Lambda calculus Theoretical computer science Data types Inline expansion Mutual recursion Recursion Standard ML
75	Programovací jazyky F# a OCaml Chapter 4. Generic and recursive types Generic types Add to Reading List Source URL: tomasp.net Language: English Software engineering Computer programming Computing Data types Functional languages Type theory Recursion Functional programming OCaml Caml Recursive data type ML
76	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:02 Software engineering Computer programming Computing Subroutines Electronic design automation Compiler construction Programming language implementation Theoretical computer science High-level synthesis Recursion Compiler Inline expansion
77	The Recurring Rainfall Problem Kathi Fisler WPI Dept of Computer Science Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2014-06-13 07:01:12 Software engineering Computer programming Computing Theoretical computer science How to Design Programs Recursion Functional programming Algorithm Fortran
78	Project Report for P415/515 Specication and Verication of a File System: A Successful Failure Add to Reading List Source URL: michaeldadams.org Language: English - Date: 2012-07-27 19:09:55 Computer programming Software engineering Theoretical computer science Mathematics B-tree Mathematical logic Linked list Algorithm Mathematical induction Recursion Trie
79	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
80	02157 Functional Programming - Lecture 8: Tail recursive erativeunctions Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:09:56 Software engineering Computer programming Recursion Subroutines Control flow Computability theory Theoretical computer science Functional programming Tail call Continuation Factorial