Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
421	The Design and Implementation of a Declarative Sensor Network System David Chu∗, Lucian Popa∗, Arsalan Tavakoli∗, Joseph M. Hellerstein∗, Philip Levis†, Scott Shenker∗, Ion Stoica∗ ∗EECS Computer Science Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2007-09-13 17:14:17 Model theory NIP
422	Beyond Script Management David Aspinall School of Informatics University of Edinburgh CIAO 2007 · [removed] Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2010-10-04 11:26:58 Declarative programming Functional programming Aspinall Coq Software
423	Programming with Constraint Solvers CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-04 09:58:41 Computing Constraint programming Numerical software Declarative programming Prolog Logic programming Solver Function B-Prolog Software engineering Computer programming Programming paradigms
424	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
425	Making a Century in HERMIT Extended Abstract Neil Sculthorpe Computer Science Department Swansea University {N.A.Sculthorpe}@swansea.ac.uk Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Higher-order functions Functional languages Functional programming Automated theorem proving Type theory Haskell Fold Map QuickCheck Software engineering Computing Declarative programming
426	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)? Oleg Kiselyov1 , William E. Byrd2 , Daniel P. Friedman2 , and Chung-chieh Shan3 1 Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:44 Functions and mappings Function Prolog Constraint logic programming Unification Multiplication FO Constructible universe Mathematics Mathematical logic Logic programming
427	FatTire: Declarative Fault Tolerance for Software-Defined Networks Mark Reitblatt Marco Canini Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2015-02-17 04:30:01 Fault-tolerant computer systems Network protocols Ethernet OpenFlow MPLS local protection Routing Failover Email forwarding Fault-tolerant system Network architecture Computing Computer architecture
428	AURA: Preliminary Technical Results University of Pennsylvania Technical Report MS-CISApril 17, 2008 Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Type theory Dependently typed programming Functional languages Logic in computer science Lambda calculus Calculus of constructions Generalized algebraic data type Monad Curry–Howard correspondence Software engineering Declarative programming Programming language theory
429	Chapter 1 Semi-Explicit Parallel Programming in a Purely Functional Style: GpH Declarative programming languages can play an important role in the process of designing and implementing parallel systems. They bridge the g Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2008-04-14 04:42:28 Functional languages Procedural programming languages Models of computation Literate programming Haskell Parallel computing Lambda calculus Evaluation strategy Closure Software engineering Computing Computer programming
430	VPL: An Active, Declarative Visual Programming System David Lau-Kee, Adam Billyard, Robin Faichney, Yasuo Kozato, Paul Otto, Mark Smith, Ian Wilkinson Canon Research Europe, Surrey Research Park, Guildford, GU2 5YD, UK. Add to Reading List Source URL: camazotz.com Language: English - Date: 2012-12-20 12:36:55 Dataflow Programming paradigm LabVIEW Oz Visualization User interface Database Computing Software engineering Visual programming languages

UPDATE