Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
161	Partial Evaluation of Functional Logic Programs in Rewriting-based Languages L. Lafave March 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Programming idioms Mathematical logic Elementary mathematics Recursion Computability theory Escher Monad Rewriting Term Path ordering Fold Function
162	Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo March 22, 1999 Abstract Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Data types Subroutines Recursion Procedural programming languages Cross-platform software Fold Stack ALGOL 68 Pointer Lua Go Record
163	Modular Reifiable Matching A List-of-Functors Approach to Two-Level Types Bruno C. d. S. Oliveira Shin-Cheng Mu Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2015-08-09 21:04:41 Object-oriented programming Computability theory Theoretical computer science Programming idioms Type theory Functor Subtyping Combinatorial species Lambda calculus Monad Recursion Is-a
164	Func%onal Programming for Large and Dynamic Data with Self-‐Adjus%ng Computa%on Yan Chen MPI-‐SWS Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2014-09-09 08:39:41 Higher-order functions Programming language comparisons Parallel computing Fold Recursion Speedup MapReduce Map NESL
165	Structural Analysis and Visualization of C++ Code Evolution using Syntax Trees Fanny Chevalier David Auber Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2016-06-12 17:36:40 Binary trees Knowledge representation Data types Tree B-tree Rope Recursion Redblack tree
166	Course: Dynamic Programming and Business Cycles Faculty: Add to Reading List Source URL: idea.uab.es Language: English - Date: 2016-07-28 04:30:07 Mathematical optimization Operations research Equations Dynamic programming Optimal control Systems engineering Stochastic programming Bellaterra JavaScript Recursion Dynamics Lars Ljungqvist
167	Lecture 14 Recursion Andries van D am © 2015 Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-10-27 00:27:14 Recursion Theoretical computer science Mathematical logic Computability theory Subroutines Factorial This Recursive definition While loop
168	How invariants help writing loops Author: Sander Kooijmans Document version: 1.2 Why this document? Did you ever feel frustrated because of a nasty bug in your code? Did Add to Reading List Source URL: gogognome.nl Language: English - Date: 2016-07-04 14:55:09 Sorting algorithms Formal methods Theoretical computer science Edsger W. Dijkstra Hoare logic Static program analysis Dutch national flag problem Algorithm Quicksort Recursion Invariant Loop invariant
169	Hardware Synthesis using SAFL and Application to Processor Design (Invited Talk) Alan Mycroft1,2 and Richard Sharp1 1 Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:00 Subroutines Hardware description languages Electronic design automation Electronic engineering High-level synthesis Hardware verification languages Verilog VHDL Logic synthesis Inline expansion Parameter Recursion
170	R in Databases Foundations and Trends Vol. 5, No–195 c 2013 T. J. Green, S. Huang, B. T. Loo, W. Zhou Add to Reading List Source URL: blogs.evergreen.edu Language: English - Date: 2014-04-07 19:34:10 Database management systems Query languages Recursion Datalog Data management Semmle Datomic Hierarchical and recursive queries in SQL Data integration Database theory Database

UPDATE