PPDP 2009 - PDF Preprint Papers

PPDP 2009 International Conference on Principles and Practice of Declarative Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed PPDP-2009 Paper

click to vote

PPDP
2009
Springer

172views Programming Languages» more PPDP 2009»

An embedded declarative data transformation language

13 years 11 months ago

Download logic.csci.unt.edu

We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, ﬁnite functions, sets and permutat...

Paul Tarau

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	172	An embedded declarative data transformation language	claim
2	149	Set functions for functional logic programming	claim
3	144	A framework for abstract interpretation of timed concurrent constraint programs	claim
4	144	Reasoning with hypothetical judgments and open terms in hybrid	claim
5	140	Alternation as a programming paradigm	claim
6	135	Dependent type inference with interpolants	claim
7	131	Session types for linear multithreaded functional programming	claim
8	126	Scrap your boilerplate: prologically!	claim
9	122	An Isabelle/HOL-based model of stratego-like traversal strategies	claim
10	114	Model-checking higher-order functions	claim
11	112	Relational semantics for effect-based program transformations: higher-order store	claim
12	108	Automatic refactoring of Erlang programs	claim
13	107	Future contracts	claim
14	105	Language support for processing distributed ad hoc data	claim
15	100	A declarative encoding of telecommunications feature subscription in SAT	claim
16	91	Path-sensitive region analysis for mercury programs	claim
17	91	Context-based proofs of termination for typed delimited-control operators	claim
18	84	The RPC calculus	claim
19	81	On the expressive power of priorities in CHR	claim
20	80	Making induction manifest in modular ACL2	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers