PPDP 2010 - PDF Preprint Papers

PPDP 2010 International Conference on Principles and Practice of Declarative Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed PPDP-2010 Paper

click to vote

PPDP
2010
Springer

97views Programming Languages» more PPDP 2010»

Graph queries through datalog optimizations

1 years 3 months ago

Download www.cs.sunysb.edu

This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efﬁcient implementations of the q...

K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. L...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	97	Graph queries through datalog optimizations	claim
2	67	Generic record combinators with static type checking	claim
3	65	Two notions of sub-behaviour for session-based client/server systems	claim
4	61	Declarative modeling of finite mathematics	claim
5	60	Rewrite-based verification of XML updates	claim
6	60	A declarative approach to robust weighted Max-SAT	claim
7	59	Tabling for transaction logic	claim
8	57	Towards a jitting VM for prolog execution	claim
9	57	Optimality for dynamic patterns	claim
10	57	Functional derivation of a virtual machine for delimited continuations	claim
11	56	Type inference in intuitionistic linear logic	claim
12	56	HSS: a compiler for cascading style sheets	claim
13	55	Typed and unambiguous pattern matching on strings using regular expressions	claim
14	55	Deriving predicate statistics in datalog	claim
15	55	Equational axiomatization of call-by-name delimited control	claim
16	54	Permissive-nominal logic	claim
17	50	Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules	claim
18	50	Dimensions in program synthesis	claim
19	44	On theorem proving for program checking: historical perspective and recent developments	claim
20	42	Precise complexity analysis for efficient datalog queries	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers