Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
411	SOPRANO : SMT meets CP ProofInUse KickOff \| F.Bobot 2 February Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-06 04:11:21 Computer programming Declarative programming Solver Constraint programming Theoretical computer science Software engineering
412	Extended Abstract Preprint for IFL[removed]Flipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Category theory Higher-order functions Adjoint functors Functional programming Fold Recursion Map Monad Combinatorial species Abstract algebra Declarative programming Software engineering
413	Kanor A Declarative Language for Explicit Communication Eric Holk1 , William E. Byrd1 , Jeremiah Willcock1 , Torsten Hoefler2 , Arun Chauhan1 , and Andrew Lumsdaine1 1 Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2011-12-19 21:18:13 Inter-process communication Application programming interfaces Parallel computing Communication Message Passing Interface Programming paradigms Communications protocol Eval C++ classes Computing Software engineering Computer programming
414	Programming the SQL Way with Common Table Expressions Add to Reading List Source URL: momjian.us Language: English - Date: 2014-12-06 10:08:29 Relational database management systems Programming paradigms Common table expression Declarative programming Imperative programming PL/Perl Select K Data Definition Language Data management Computing SQL
415	Declarative Networking: Language, Execution and Optimization Boon Thau Loo∗ Tyson Condie∗ Minos Garofalakis† David E. Gay† Joseph M. Hellerstein∗ Petros Maniatis† Raghu Ramakrishnan‡ Timothy Roscoe† Ion S Add to Reading List Source URL: www.cs.berkeley.edu Language: English Database theory Distributed data storage Routing algorithms Routing protocols Datalog Distributed hash table Distance-vector routing protocol Relational database Shortest path problem Mathematics Data management Computing
416	Declarative Routing: Extensible Routing with Declarative Queries Boon Thau Loo∗ Joseph M. Hellerstein∗ † Ion Stoica∗ Raghu Ramakrishnanδ ∗ UC Berkeley † Intel Research δ University of Wisconsin-Madison Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2005-06-20 20:21:27 OSI protocols Routing protocols Mathematics Network theory Shortest path problem Routing Distance-vector routing protocol Distributed data storage Link-state routing protocol Routing algorithms Network architecture Wireless networking
417	The function f (x , y ) = sin xy plotted by computer 2 Functions Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:11 Declarative programming Subroutines Lambda calculus Functional programming Higher-order functions Function Parameter C++ classes Domain of a function Mathematics Software engineering Functions and mappings
418	Functional High Performance Financial IT The Hiperfit? Research Center in Copenhagen – Project Paper – Jost Berthold1 , Andrzej Filinski1 , Fritz Henglein1 , Ken Friis Larsen1 , Mogens Steffensen2 , and Brian Vinter3 Add to Reading List Source URL: hiperfit.dk Language: English Programming paradigms Functional languages Parallel computing Array programming languages Models of computation NESL Haskell Parallel programming model Declarative programming Computing Software engineering Computer programming
419	William E. Byrd http://webyrd.net/ Work Merrill Engineering Building, Room[removed]S Central Campus Drive University of Utah Add to Reading List Source URL: webyrd.net Language: English - Date: 2015-04-07 19:59:59 Programming paradigms Functional languages Daniel P. Friedman Logic programming Declarative programming International Conference on Functional Programming Programming language Friedman Prolog Software engineering Computing Computer programming
420	Cologne: A Declarative Distributed Constraint Optimization Platform Changbin Liu∗ ∗ University Lu Ren∗ Add to Reading List Source URL: vldb.org Language: English - Date: 2012-04-26 08:00:31 Constraint programming Operations research Mathematical optimization Numerical software Mathematical modeling Datalog Prolog Constraint optimization Solver Software engineering Computer programming Computing

UPDATE