Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
101	Analysis and Specialisation of Imperative Programs: An approach using CLP Julio C. Peralta Estrada A thesis submitted to the University of Bristol in accordance with the Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Theoretical computer science Programming paradigms Software engineering Logic in computer science Declarative programming Programming language semantics Constraint programming Logic programming Operational semantics Imperative programming CLP Programming language
102	Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 3 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:59:21 Software engineering Formal languages Computer programming Declarative programming Datalog CYK algorithm Definite clause grammar Parsing Logic programming Prolog Parse tree Categorial grammar
103	FatTire: Declarative Fault Tolerance for Software-Defined Networks Mark Reitblatt Marco Canini Add to Reading List Source URL: perso.uclouvain.be Language: English - Date: 2013-11-29 09:03:54 Computing Network architecture Computer architecture Network protocols Ethernet Emerging technologies Fault-tolerant computer systems OpenFlow Software-defined networking Fault tolerance Path protection MPLS local protection
104	Faster Haskell Neil Mitchell www.cs.york.ac.uk/~ndm The Goal • Make Haskell “faster” Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Functional languages Haskell Literate programming Fold Map Inline expansion Write
105	The FLaSH Project Resource-Aware Synthesis of Declarative Specifications Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Software engineering Computer programming Computing Subroutines Functional languages Programming language implementation Procedural programming languages Recursion Standard ML Compiler Inline expansion ML
106	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: src.acm.org Language: English - Date: 2016-06-08 14:54:18 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
107	fourteen declarative principles of experience-oriented intelligence 1. all goals and purposes can be well thought of as the maximization of the expected value of the cumulative sum of a single externally received number Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2009-03-27 16:18:08 Education Educational psychology Computational neuroscience Cognition Cognitive science Futurology Prediction Scientific method Learning Temporal difference learning Scientific modelling Educational technology
108	BU CAS CS 320 (Spring Semester, Concepts of Programming Languages Assignment 5 Out: Tuesday, 19 Feburary 2002 Due: Friday, 1 March 2002 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-10-01 21:50:12 Software engineering Computer programming Declarative programming Functional languages Data structures Standard ML Recursion Haskell features
109	First Order Haskell Neil Mitchell York University www.cs.york.ac.uk/~ndm λ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Recursion Fold Oz Monad Map XS Haskell features
110	Centrum voor Wiskunde en Informatica Alma-0: An imperative language that supports declarative programming R. Apt, J. Brunekreef, V. Partington and A. Schaerf Probability, Networks and Algorithms (PNA) Add to Reading List Source URL: www.klomp.org Language: English - Date: 2015-01-25 16:44:17 Software engineering Computer programming Programming paradigms Theoretical computer science Programming idioms Computability theory Alma-0 Backtracking Logic programming Recursion Prolog Imperative programming

UPDATE