Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
291	SAGA: A Story Scripting Tool for Video Game Development Lucas Beyak Department of Computing and Software McMaster University April 21, 2011 Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2012-05-02 13:09:47 Domain-specific language Programming language implementation Programming language C++ Declarative programming Programming paradigm Digital subscriber line Compiler Domain-specific multimodeling Software engineering Computing Software
292	Programming Techniques for Partial Evaluation Olivier Danvy BRICS † Department of Computer Science University of Aarhus ‡ January 2000 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lambda calculus Functional programming Subroutines Recursion Scheme Combinatory logic Closure Function Lambda Software engineering Declarative programming Computing
293	Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-06 20:27:30 Programming paradigms Daniel Jackson Alloy Analyzer Alloy Declarative programming Imperative programming Programming language Constraint programming Computer program Computing Software engineering Computer programming
294	Climate Data Record (CDR) Program Transitioning CDRs from Research to Operations CDR Program Document Number: Originator Document Number: VersionJuly 26, 2011 Add to Reading List Source URL: www1.ncdc.noaa.gov Language: English - Date: 2011-08-24 13:57:44 Functional programming Lisp programming language Climate Data Records Cons Append Declarative programming Computing Software engineering
295	CAiSE2011- Forum (June 23, :30-18:00) Demo papers 1. Stefan Zugal, Jakob Pinggera and Barbara Weber. Creating Declarative Process Models Using Test Driven Modeling Suite Add to Reading List Source URL: www.caise2011.com Language: English - Date: 2014-05-26 18:17:28 Business process Systems engineering Data modeling tools Process management Process mining Enterprise Architect Requirements engineering Software Enterprise modelling Information technology management
296	Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-06-12 04:54:36 Computing Constraint satisfaction problem Type class Lambda calculus Normalisation by evaluation Constraint inference Declarative programming Constraint programming Software engineering
297	Optimising Quantified Expressions in Constraint Models Ian Gent, Ian Miguel, and Andrea Rendl University of St Andrews School of Computer Science, North Haugh, St Andrews, Scotland, UK ipg,ianm, Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:32 Sudoku algorithms Constraint programming Declarative programming Exact cover
298	The mLite Language Nils M Holm, 2014 mLite is a general-pur pose, functional, lightweight, dynamic programming language. It borrows ideas from both the Scheme [R4RS] and Standard ML [DEFSML] languages, taking most of its Add to Reading List Source URL: www.t3x.org Language: English - Date: 2014-11-16 10:27:37 Functional programming Lambda calculus Higher-order functions Functional languages Data types Standard ML Anonymous function Pattern matching Monad Software engineering Declarative programming Computer programming
299	A language for Modular Information-passing Agents Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer Universiteit Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, T Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:40 Constraint programming Declarative programming Symbol
300	A DECLARATIVE FRAMEWORK FOR MODELING MULTI-AGENT SYSTEMS by GREGORY GELFOND A MASTER THESIS IN Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:08:43 Software engineering Automated planning and scheduling Prolog Agent-based model Action language Logic programming Multi-agent systems Artificial intelligence Computing

UPDATE