Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
511	Proof-Pattern Recognition and Lemma Discovery in ACL2? J´ onathan Heras1 , Ekaterina Komendantskaya1 , Moa Johansson2 , and Ewen Maclean3 1 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-14 09:26:50 Lisp programming language Functional languages Procedural programming languages ACL2 Formal methods Automated theorem proving First-order logic Recursion Lisp Computer programming Software engineering Computing
512	In each set, how do the ones on the left differ from the ones on the right? 16 Example: Pattern Matcher Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:17 Formal languages Pattern matching Regular expressions Question Recursion Conditional Sentence Computer programming Computing Software engineering
513	Drawing Hands, by M. C. Escher (lithograph, 1948) 12 The Leap of Faith Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:16 Programming idioms Computing Computability theory Recursion Algorithm Factorial Mathematics Mathematical logic Theoretical computer science
514	14 Common Patterns in Recursive Procedures There are two ideas about how to solve programming problems.* One idea is that programmers work mostly by recognizing categories of problems that come up repeatedly Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:16 Computability theory Computing Theory of computation Recursion Functions and mappings Function Mathematics Computer programming Programming idioms
515	Left Recursion in Parsing Expression Grammars S´ergio Medeiros Department of Computer Science – UFS – Aracaju – Brazil Fabio Mascarenhas Department of Computer Science – UFRJ – Rio de Janeiro – Brazil Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-02-16 22:20:25 Computing Parsing expression grammar Top-down parsing Syntactic predicate Recursive descent parser Context-free grammar Left recursion Parsing Formal grammar Formal languages Software engineering Computer programming
516	PRP - Parallel Recursive Procedures Arne Maus, Dept. of Informatics, University of Oslo email: arnem@i.uio.no Tornn Aas, Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-05-08 04:37:51 Programming idioms Mathematical logic Theoretical computer science Computability theory Recursion Algorithm Subroutine Tree traversal Parallel computing Computer programming Computing Software engineering
517	Extracted from: Programming Elixir Functional \|> Concurrent \|> Pragmatic \|> Fun This PDF file contains pages extracted from Programming Elixir, published by the Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2015-04-02 14:33:50 Recursion Higher-order functions Programming idioms Subroutines Data types Fold Map Function Irish Enterprise Exchange Software engineering Computer programming Computing
518	4 Functional and Imperative Styles Functional and imperative programming languages are primarily distinguished by the control over program execution and the data memory management. • Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages Procedural programming languages Subroutines OCaml Caml Functional programming Main function Recursion Pure Software engineering Computer programming Computing
519	Toward a Practical Type Theory for Recursive Modules Derek R. Dreyer Robert Harper Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2001-03-22 16:01:25 Type theory Data types Recursion Computability theory Recursive data type Standard ML Fixed-point combinator Lambda calculus Generic programming Theoretical computer science Applied mathematics Mathematics
520	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

UPDATE