Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
111	A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-08-25 14:30:22 Software engineering Computer programming Declarative programming Type theory Functional programming Procedural programming languages Data types Object-oriented programming Monad ALGOL 68 Polymorphism Abstract type
112	Language Fuzzing Using Constraint Logic Programming Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Declarative programming Computer programming Constraint logic programming Constraint programming Logic programming Programming paradigms Formal languages CLP Prolog Context-free grammar JavaScript
113	WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code Julia L. Lawall,1 Julien Brunel,1∗ Nicolas Palix,1 Ren´e Rydhof Hansen,2 Henrik Stuart,1 Gilles Muller3 1 DIKU, University of Copenhagen, Add to Reading List Source URL: coccinelle.lip6.fr Language: English Computing Software engineering Computer programming Data types Object-oriented programming languages Memory management C++ Scripting languages Null Coccinelle Pointer Application programming interface
114	Microsoft PowerPoint - Lect05data_abstractionsv4.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-21 04:47:00 Software engineering Declarative programming Functional programming Data types Lisp Computer programming Lambda calculus Cons Append CAR and CDR Anonymous function T
115	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
116	Specialising the Ground Representation in the Logic Programming Language G odel. C.A.Gurr Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Programming paradigms Logic Logic programming Automated theorem proving Prolog Substitution Interpreter Term Programming language Declarative programming
117	Declarative Verifiable SDI Specifications Rick McGeer US Ignite ABSTRACT Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:43 Theoretical computer science Formal methods Formal verification Software-defined networking Software verification Turing machine Finite-state machine Model checking Temporal logic OpenFlow Computer science Distributed computing
118	Behavioral Reactivity and Real Time Programming in XML Functional Programming meets SMIL Animation Patrick Schmitz Simon Thompson Add to Reading List Source URL: www.ludicrum.org Language: English - Date: 2004-10-26 03:04:07 Markup languages Functional languages Computer file formats Technical communication Synchronized Multimedia Integration Language Query languages XHTML+SMIL Declarative programming Programming language JavaScript XPath Domain-specific language
119	Christopher S. Meiklejohn 50 Elite Drive, Warwick, RI, 02889 http://www.christophermeiklejohn.com PROFILE Add to Reading List Source URL: christophermeiklejohn.com Language: English - Date: 2016-08-08 07:05:20 NoSQL Cloud infrastructure Cloud storage Concurrent programming languages Basho Technologies Erlang Riak International Conference on Functional Programming Conflict-free replicated data type Actor model Declarative programming
120	I Aver: Providing Declarative Experiment Specifications Facilitates the Evaluation of Computer Systems Research Ivo Jimenez and Carlos Maltzahn Jay Lofstead Add to Reading List Source URL: tinytocs.ece.utexas.edu Language: English - Date: 2016-03-05 17:06:25 Validity Pharmaceutical industry Measurement Psychometrics Reproducibility Scientific method Validation Declarative programming

UPDATE