Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
471	Chapter 1. SDF Disambiguation Medkit for Programming Languages Jurgen Vinju:08:57 +0200 (Fri, 19 OctTable of Contents Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2007-12-04 10:03:47 Programming language implementation Parsing Ambiguous grammar Context-free grammar ASF+SDF Meta Environment Formal grammar Left recursion Syntax Attribute grammar Formal languages Software engineering Computing
472	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-11 16:56:14 Recursion Theoretical computer science Category theory Functional programming Higher-order functions Corecursion Fold Coinduction Map Software engineering Computer programming Declarative programming
473	The Definitive ANTLR 4 Reference Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-09-15 16:49:04 Formal languages Computing Compiler construction Top-down parsing Lookahead ANTLR Left recursion Recursive descent parser LR parser Programming language implementation Parsing Software engineering
474	Truly Modular (Co)datatypes for Isabelle/HOL Jasmin Christian Blanchette1 , Johannes Hölzl1 , Andreas Lochbihler2 , Lorenz Panny1 , Andrei Popescu1,3 , and Dmitriy Traytel1 1 3 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Recursion Theoretical computer science Computability theory Ordinal numbers Fold Constructible universe Corecursion Standard ML Lambda calculus Mathematical logic Software engineering Computing
475	CIS 27P Class 4 java.text.DecimalFormat import java.text.; class testDecimal Add to Reading List Source URL: www.bartholo.com Language: English* - Date: 2001-10-15 00:56:43 Subroutines Software design patterns Method C++ Main function Recursion Java Constructor C++ classes Computer programming Computing Software engineering
476	Primitively (Co)recursive Definitions for Isabelle/HOL Lorenz Panny, Jasmin Christian Blanchette, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München, Germany Abstract. Isabelle/HOL has recent Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-23 10:07:51 Recursion Computability theory Data types Higher-order functions Theory of computation Fold Recursive data type Primitive recursive function Lambda calculus Software engineering Computing Computer programming
477	BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS ´ AND PAULO OLIVA ´ ESCARDO MARTIN Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-16 10:22:26 Primitive recursive function Mathematical logic Philosophy of mathematics Fourier analysis Jensen hierarchy Mathematics Computability theory Constructible universe
478	The Definitive ANTLR 4 Reference Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-09-15 16:49:53 Software engineering Software Formal languages ANTLR Compiler construction Compiler-compiler Recursive descent parser Left recursion Top-down parsing Programming language implementation Parser generators Parsing
479	Theoretical Informatics and Applications Will be set by the publisher Informatique Th´ eorique et Applications Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2005-06-20 12:22:00 Recursion Proof theory Computability theory Logic in computer science Lambda calculus Symbol Natural deduction Curry–Howard correspondence Fixed-point combinator Theoretical computer science Mathematical logic Mathematics
480	J. Functional Programming 9 (4): 355–372, Julyc 1999 Cambridge University Press ! Printed in the United Kingdom Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-18 03:41:36 Recursion Higher-order functions Functions and mappings Theory of computation Computability theory Fold Map Primitive recursive function Append Computing Software engineering Computer programming

UPDATE