Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
471	Microsoft Word - Declarative Sentences Add to Reading List Source URL: www.k12reader.com Language: English - Date: 2014-10-20 14:04:42 Logic Typography Grammar Declarative Sentence Question Full stop Statements Linguistics Punctuation
472	Andreas Abecker, Harold Boley, Knut Hinkelmann, Holger Wache, and Franz Schmalhofer An Environment for Exploring and Validating Declarative Knowledge Technical Memo Add to Reading List Source URL: scidok.sulb.uni-saarland.de Language: English - Date: 2012-02-16 07:05:23 Ethology Knowledge Reasoning German Research Centre for Artificial Intelligence Technical communication Knowledge representation and reasoning Logic programming Data mining Machine learning Science Programming paradigms Scientific modeling
473	The Why of Y Richard P. Gabriel Lucid, Inc. and Stanford University Did you ever wonder how Y works and how anyone could ever have thought of it? In this note I’ll try to explain to you not only how it works, but how s Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 16:00:09 Declarative programming Fixed-point combinator Closure Function Combinatory logic Currying Factorial Binary lambda calculus Mathematics Lambda calculus Software engineering
474	Preprint version. A Pattern for Almost Compositional Functions Bj¨orn Bringert Aarne Ranta Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2006-07-27 18:53:27 Computing Data types Functional programming Monad Pattern matching Generic programming Generalized algebraic data type Algebraic data type Type system Software engineering Declarative programming Type theory
475	Baddeley, AD[removed]Recent developments in working memory Current Opinion in Neurobiology 8: 234 – 238 Add to Reading List Source URL: brainrules.net Language: English - Date: 2011-01-30 12:28:15 Psychology Mental processes Hippocampus Declarative memory Episodic memory Semantic memory Long-term memory Cognitive neuroscience Engram Mind Cognitive science Memory
476	STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Proving the Correctness of Functional Programs using Mizar Yatsuka Nakamura Shinshu University Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Higher-order functions Recursion Map Function First-order logic Functor Fold Mizar system Sheaf Software engineering Computing Declarative programming
477	[Faculty of Science Information and Computing Sciences] Generic programming with fixed points for mutually recursive datatypes Andres L¨oh Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Higher-order functions Functional programming Recursion Functional languages Generic programming Map Catamorphism Expr Haskell Software engineering Computing Declarative programming
478	3D on the Web Why We Need Declarative 3D Arguments for an W3C Incubator Group Philipp Slusallek Johannes Behr Add to Reading List Source URL: www.w3.org Language: English - Date: 2010-11-02 13:11:35 3D computer graphics Virtual reality Visual effects Video game development 3D graphics software X3D 3D modeling OpenGL OGRE Computing Computer graphics Software
479	Automated Whitebox Fuzz Testing Patrice Godefroid Microsoft (Research) [removed] Michael Y. Levin Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-01-04 20:00:25 Declarative programming Formal methods Fuzz testing Symbolic execution KeY Constraint satisfaction problem Concolic testing Test Data Generation Software testing Constraint programming Software engineering
480	CATS 2004 Preliminary Version Typed Transformations of Typed Grammars: The Left Corner Transform Arthur Baars 1 Instituto Tecnol´ Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2010-11-06 19:03:36 Computing Generalized algebraic data type Left recursion Production Formal grammar Type system Monad Top-down parsing Combinatory logic Formal languages Software engineering Declarative programming

UPDATE