Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
451	Microsoft Word - PPCP94.DOC Add to Reading List Source URL: kurlander.net Language: English - Date: 2008-06-20 14:46:28 Mathematical optimization Computing Declarative programming Constraint algorithm Computer-aided design Constraint Project management Check Constraint Theory of constraints Constraint programming Software engineering Computer programming
452	JavaDD: a Declarative Debugger for Java Hani Z. Girgis Bharat Jayaraman Department of Computer Science and Engineering Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2006-03-20 14:13:52 Cross-platform software Debugging Prolog Java SQL Pointer Exception handling Objective-C Microsoft Visual Studio Computing Computer programming Software engineering
453	Teaching Functional Programming and Erlang: The Galician Experience? Victor M. Gulias MADS Group, Department of Computer Science University of A Coru˜ na, Spain Add to Reading List Source URL: www.erlang.se Language: English - Date: 2005-11-17 06:16:11 Functional languages Programming paradigms Erlang Concurrent computing Functional programming OCaml Caml Imperative programming Declarative programming Software engineering Computing Computer programming
454	INTERACTIVE CONSTRAINT-BASED SEARCH AND REPLACE David Kurlander Steven Feiner Department of Computer Science Columbia University New York, NY 10027 Add to Reading List Source URL: kurlander.net Language: English - Date: 2008-06-20 13:22:22 Constraint Computing Constraint programming Mathematical optimization Declarative programming
455	Declarative Transformation for Object-Oriented Models Keith Duddy, Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel CRC for Enterprise Distributed Systems Technology (DSTC) Level 7, General Purpose South The Univer Add to Reading List Source URL: staff.itee.uq.edu.au Language: English - Date: 2014-01-23 23:56:48 Systems engineering ISO standards Software Data modeling Transformation languages Meta-Object Facility Model-driven architecture Object Management Group XML Metadata Interchange Unified Modeling Language Software engineering Computing
456	ANSWER SET PROGRAMMING KNOWLEDGE REPRESENTATION, REASONING AND DECLARATIVE PROBLEM SOLVING USING ANSPROLOG: WWW.BARAL.US/BOOKONE Chitta Baral Department of Computer Science and Engg. Add to Reading List Source URL: www.public.asu.edu Language: English* - Date: 2004-06-18 11:01:46 Non-classical logic Reasoning Knowledge Knowledge representation Programming paradigms Knowledge representation and reasoning Non-monotonic logic Stable model semantics Default logic Science Logic programming Logic
457	Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism Geoffrey Washburn Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Type theory Functional programming Dependently typed programming Models of computation System F Higher-order abstract syntax Church encoding Catamorphism Declarative programming Software engineering Mathematics
458	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: www.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
459	A Declarative Language Approach to Device Conﬁguration ¨ ADRIAN SCHUPBACH, ANDREW BAUMANN, TIMOTHY ROSCOE, and SIMON PETER, ETH Zurich Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:55 Conventional PCI PCI Express Root complex Interrupt request Memory-mapped I/O Interrupt Advanced Configuration and Power Interface PCI configuration space Autoconfig Computer hardware Computer buses Computing
460	Dependable self-hosting distributed systems using constraints Qin Yin∗, Justin Cappos†, Andrew Baumann∗, Timothy Roscoe∗ ∗ Systems † Department Group, Department of Computer Science, ETH Zurich Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Computer programming Operations research Programming paradigms Mathematical optimization Constraint logic programming Logic programming ECLiPSe Linear programming PlanetLab Constraint programming Software engineering Declarative programming

UPDATE