Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
551	Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München 27 August 2014 Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Recursion Type theory Data types Self-reference Theoretical computer science Recursive data type Corecursion Standard ML Inductive data type Computer programming Software engineering Computing
552	Minimally Supervised Method for Multilingual Paraphrase Extraction from Definition Sentences on the Web Yulan Yan∗ Chikara Hashimoto‡ Kentaro Torisawa§ Takao Kawai¶ Jun’ichi Kazamak Stijn De Saeger∗∗ ∗ ‡ Add to Reading List Source URL: aclweb.org Language: English - Date: 2013-05-18 12:41:37 Mathematical logic Logical syntax Metalogic Computational linguistics Philosophical logic Sentence Part-of-speech tagging Natural language processing Recursion Logic Linguistics Science
553	2 CHAPTER Iteration, Induction, Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2013-04-13 13:58:25 Order theory Theoretical computer science Mathematical logic Programming idioms C++ Standard Library Recursion Merge sort Selection sort Algorithm Mathematics Sorting algorithms Computer programming
554	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein fun Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computability theory Programming idioms Theoretical computer science Computer law Copyleft Recursion Creative Commons Lambda calculus Quicksort Computer programming Computing Open content
555	Evaluation of Temporal Queries with Applications in Program Debugging Presenter: Demian Lessa Evaluation of Temporal Queries with Applications in Program Debugging Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2011-10-19 14:01:31 Software engineering Binary search tree Search algorithms Recursion Bin Tree Computer programming Binary trees Computing
556	General Recursion The Choice ➜ Limited expressiveness, automatic termination COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computability theory Programming idioms Theoretical computer science Recursion Mathematical logic Well-founded relation Lambda calculus Quicksort Computer programming Mathematics Computing
557	Abstract Datatypes in PVS Technical Report CSL-93-9R • December 1993, Substantially Revised June 1997 S. Owre N. Shankar Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2010-03-25 06:20:58 Data types Programming idioms Type theory Recursion Functional programming Recursive data type List C++ classes EXPRESS Computer programming Software engineering Computing
558	Fall 2003 BMI[removed]CS 426 Notes QQQ-1 GENETIC PROGRAMMING PROBLEM SOLVER (GPPS) Fall 2003 BMI[removed]CS 426 Notes QQQ-2 Add to Reading List Source URL: www.genetic-programming.com Language: English - Date: 2006-11-17 21:11:48 Programming idioms Procedural programming languages Functions and mappings Computability theory Recursion Function Genetic programming C Computer programming Computing Software engineering
559	LEARN THE PROGRAMMING FUNDAMENTALS BY PLAYING GAMES PROGRAMMING TEACHER SUPPORT 1/10 Add to Reading List Source URL: files.codingame.com Language: English - Date: 2015-03-11 08:55:41 Programming idioms Recursion Infinite loop
560	Exceptions in Erlang - Redux Richard Carlsson Uppsala University Björn Gustavsson Add to Reading List Source URL: www.erlang.se Language: English - Date: 2004-11-04 06:49:27 Control flow Infinite loop Recursion Exception handling Conditional Erlang Exception handling syntax Computer programming Software engineering Computing

UPDATE