Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
121	Practical Declarative Network Management Timothy Hinrichs Natasha Gude Martin Casado Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-03-09 22:02:42 Data Information XACML Security policy Datalog Maximum flow problem Flow network Distributed firewall SQL Computing Network flow Query languages
122	Maintaining Distributed Logic Programs Incrementally Vivek Nigam1 , Limin Jia2 , Boon Thau Loo3 , Andre Scedrov3 Abstract Distributed logic programming languages, which allow both facts and programs to be distributed amo Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Datalog Logic programming Prolog Algorithm Formal methods Software engineering Computing Programming language theory
123	An Operational Semantics for Network Datalog Vivek Nigam1 , Limin Jia2 , Anduo Wang1 , Boon Thau Loo1 , and Andre Scedrov1 1 University of Pennsylvania, Philadelphia, USA Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematical logic Datalog Predicate Logic programming Function Modal logic Logic Mathematics Programming paradigms
124	Research Assistant position - Adaptable Context-Sensitive Points-To Analysis for Large-Scale Java Codes Duration: 6 months Timeframe: To commence between June & November, 2015 Supervisor: Raghavendra K.R. A 6 month, full Add to Reading List Source URL: sydney.edu.au Language: English - Date: 2015-02-17 18:17:49 Employment Internship Doctor of Philosophy Oracle Database Oracle Corporation Datalog Education Software Learning
125	Reflection Analysis for Java Benjamin Livshits, John Whaley, and Monica S. Lam? Computer Science Department Stanford University Stanford, CA 94305, USA {livshits, jwhaley, lam}@cs.stanford.edu Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:04 Object-oriented programming Reflection Datalog Objective-C Java Native Interface Java Call graph Graph Class Software engineering Computing Computer programming
126	CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1. Datalog BDD 2. BDDs Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 14:03:58 Model checking Mathematics Theoretical computer science Boolean algebra Diagrams Binary decision diagram
127	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:12 Boolean algebra Diagrams Binary decision diagram Model checking Monica S. Lam Datalog Pointer analysis Algorithm Pointer Computing Mathematics Software engineering
128	Querying Schemas With Access Restrictions Michael Benedikt Pierre Bourhis Clemens Ley Add to Reading List Source URL: vldb.org Language: English - Date: 2012-03-24 02:44:30 Model theory Finite model theory Programming paradigms Conjunctive query Database theory FO Linear temporal logic Datalog First-order logic Theoretical computer science Mathematical logic Mathematics
129	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: dragonbook.stanford.edu Language: English - Date: 2008-09-08 14:03:49 Data types Procedural programming languages Compiler construction Pointer Datalog Compiler C Data-flow analysis Void type Software engineering Computing Computer programming
130	Program Metamorphosis by Christoph Reichenbach M.Sc., University of Colorado at Boulder, 2004 A dissertation submitted to the Add to Reading List Source URL: www-plan.cs.colorado.edu Language: English - Date: 2009-12-31 11:09:30 Program transformation Datalog Technology Industrial design Prototype Actor model

UPDATE