Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
311	Unifying Execution of Imperative and Declarative Code Aleksandar Milicevic Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-20 11:43:30 Sudoku NP-complete problems Sudoku algorithms Mathematics of Sudoku Mathematics Recreational mathematics Logic puzzles
312	Pearls of Theory: Intensional and Extensional Aspects of Partial Evaluation Olivier Danvy Computer Science Department Aarhus University () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Functional programming Partial evaluation Standard ML Continuation-passing style Pattern matching Eval Monad Scheme Currying Software engineering Declarative programming Computing
313	Languages and metamodels for modelling frameworks Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 18:07:29 Computer programming Scientific modeling Modeling language Programming language Scientific modelling Domain-specific language Abstraction Extensible programming Declarative programming Software engineering Computing Programming paradigms
314	The Declarative Imperative: Experiences and Conjectures in Distributed Logic Joseph M. Hellerstein Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2010-06-01 23:42:06 Query languages Programming paradigms Datalog Database management systems Database theory Prolog Logic programming SQL Relational model Computing Data management Software engineering
315	Automatically Enhancing Constraint Model Instances during Tailoring Andrea Rendl, Ian Miguel, Ian P. Gent Chris Jefferson School of Computer Science, University of St Andrews, UK Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:25:07 Logic programming Constraint satisfaction Local consistency Common subexpression elimination SCIP ECLiPSe Constraint programming Declarative programming Software engineering
316	Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Chang and Daniel Jackson Formal Methods ’08 · Turku, Finland · May 30, 2008 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:59 Formal methods Metalogic Proof theory Mathematical logic Model theory Formal proof Model checking Mathematical proof Logic Mathematics Automated theorem proving
317	Constraint Programming and Combinatorial Optimisation in Numberjack Emmanuel Hebrard1,2 , Eoin O’Mahony1 , and Barry O’Sullivan1 1 Cork Constraint Computation Centre Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:32 Applied mathematics Numerical analysis Numerical software Declarative programming SCIP Mathematical optimization Linear programming Constraint satisfaction Operations research Constraint programming Software engineering
318	3 Symbolic Aspects of Knowledge Representation 4CAPS is a hybrid architecture, encompassing both symbolic and connectionist processing styles. This chapter describes the symbolic aspects of 4CAPS knowledge representation Add to Reading List Source URL: www.ccbi.cmu.edu Language: English - Date: 2006-08-11 10:57:17 Programming paradigms C++ Declarative memory C++ classes Knowledge representation and reasoning Declarative programming ACT-R New Declarative Computing Software engineering Computer programming
319	λ ICFPEdinburgh, Scotland Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-25 12:07:18 Computing International Conference on Functional Programming SIGPLAN Haskell Generic programming Philip Wadler Declarative programming Software engineering Functional programming
320	J. LOGIC PROGRAMMING 1993:16:TOWARDS A MEANING OF LIFE? Add to Reading List Source URL: hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:10:42 Lambda calculus Logic programming Functional programming Higher-order functions Model theory Unification Function Interpretation Constraint logic programming Software engineering Declarative programming Computing

UPDATE