Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
131	CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:11 Boolean algebra Diagrams Binary decision diagram Model checking Datalog Monica S. Lam Algorithm Pointer Stack Computing Software engineering Programming language theory
132	Securing Web Applications with   Information Flow Tracking  with Michael Martin, Benjamin Livshits, John Whaley, Michael Carbin, Dzin Avots, Chris Unkel Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2012-01-08 01:59:26 SQL Datalog Notation Query languages Data management Computing
133	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
134	Lecture 10 Pointer Analysis 1.  Datalog 2.  Context-insensitive, flow-insensitive pointer analysis 3.  Context sensitivity Readings: Chapter 12 Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2015-02-18 04:44:20 Procedural programming languages C programming language Datalog Pointer ALGOL 68 C Struct Software engineering Computing Programming language theory
135	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:04 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
136	CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1.  Relations in BDDs 2.  Datalog -> Relational Algebra Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2015-03-01 03:58:39 Model checking Mathematics COMPASS/Sample Code Man or boy test Boolean algebra Diagrams Binary decision diagram
137	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
138	RQL: A Declarative Query Language for RDF* Gregory Karvounarakis Sofia Alexaki Vassilis Christophides Dimitris Plexousakis Institute of Computer Science FORTH, Vassilika Vouton Add to Reading List Source URL: 139.91.183.30 Language: English - Date: 2008-12-01 20:09:06 Information Resource Description Framework RDF Schema Resource Versa RDF/XML Datalog Ontology RDF query language Semantic Web Computing Data management
139	Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis Jiwon Seo Jongsoo Park Add to Reading List Source URL: mobisocial.stanford.edu Language: English - Date: 2015-03-17 15:52:20 Graph connectivity Network theory Shortest path problem Routing algorithms Path Connected component Distance Bellman–Ford algorithm Graph Graph theory Mathematics Theoretical computer science
140	HDMS ’04 ICS-FORTH Semantic Query Routing and Processing in P2P Database Systems: Add to Reading List Source URL: 139.91.183.30 Language: English - Date: 2008-12-01 20:09:16 Computing APT Datalog Honda P series RDF query language Software engineering Query languages Data management Peer-to-peer

UPDATE