Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
331	Synthesis Modulo Recursive Functions Etienne Kneuss1 Viktor Kuncak1 Ivan Kuraj1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-16 08:18:41 Data types Lisp programming language Functional programming Recursion Computability theory ALGOL 68 Function Fold Algebraic data type Software engineering Computer programming Computing
332	d Comporium Amphitheater 32 Add to Reading List Source URL: ascgreenway.s3.amazonaws.com Language: English - Date: 2015-02-18 16:08:01 Texas State Highway Loop 1 Infinite loop Recursion Chicago Loop
333	Katahdin Mutating a Programming Language’s Syntax and Semantics at Runtime Chris Seaton The University of Bristol Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Computing Computer programming Parsing expression grammar Recursive descent parser LL parser Left recursion LR parser Operator associativity Syntax Software engineering Formal languages Parsing
334	Notes on Data Structures and Programming Techniques (CPSC 223, SpringJames Aspnes29T08:59:Contents Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-29 08:59:52 C programming language Data types Procedural programming languages Cross-platform software Source code Pointer C Macro Recursion Computing Computer programming Software engineering
335	Notes on Data Structures and Programming Techniques (CPSC 223, SpringJames Aspnes29T08:59:Contents Add to Reading List Source URL: cs.yale.edu Language: English - Date: 2015-04-29 08:59:52 C programming language Data types Procedural programming languages Cross-platform software Source code Pointer C Macro Recursion Computing Computer programming Software engineering
336	Packrat Parsers Can Support Left Recursion ∗ Alessandro Warth James R. Douglass Todd Millstein Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Computer programming Parsing Compiler construction Recursion Programming idioms Parsing expression grammar Left recursion Top-down parsing LR parser Formal languages Software engineering Computing
337	MUTUAL COOPERATION AND UNILATERAL ALTRUISM IN A ONE-SHOT PRISONER’S DILEMMA - A COMPUTABILITY APPROACH MIKIO NAKAYAMA Abstract. We consider the one-shot Prisoner’s Dilemma played by programs or machines, and show tha Add to Reading List Source URL: ies.keio.ac.jp Language: English - Date: 2015-05-07 04:10:57 Theory of computation Theoretical computer science Functions and mappings Function Computable function Equivalence relation Recursion Primitive recursive function Μ operator Mathematics Computability theory Mathematical logic
338	Verifying and Synthesizing Software with Recursive Functions (Invited Contribution) Viktor Kuncak? ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-05-24 11:45:01 Data types Recursion Theoretical computer science Formal methods Functional programming Algebraic data type Fold ALGOL 68 Scala Computing Software engineering Computer programming
339	Nifty Assignments Nick Parlante (moderator) Stanford University John K. Estell Add to Reading List Source URL: nifty.stanford.edu Language: English - Date: 2003-11-26 03:59:11 Cross-platform software Procedural programming languages Scripting languages Java platform Sun Microsystems Assignment C JavaScript Recursion Computing Software engineering Computer programming

UPDATE