Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By ACM Press

9781450315227

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A linear concurrent constraint approach for the automatic verification of access permissions

Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12 ◽

10.1145/2370776.2370802 ◽

2012 ◽

Author(s):

Carlos Olarte ◽

Elaine Pimentel ◽

Camilo Rueda ◽

Nestor Cataño

Keyword(s):

Automatic Verification ◽

Constraint Approach ◽

Access Permissions

Download Full-text

Layered fixed point logic

Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12 ◽

10.1145/2370776.2370784 ◽

2012 ◽

Author(s):

Piotr Filipiuk ◽

Flemming Nielson ◽

Hanne Riis Nielson

Keyword(s):

Download Full-text

Symbolic evaluation graphs and term rewriting

Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12 ◽

10.1145/2370776.2370778 ◽

2012 ◽

Author(s):

Jürgen Giesl ◽

Thomas Ströder ◽

Peter Schneider-Kamp ◽

Fabian Emmes ◽

Carsten Fuhs

Keyword(s):

Term Rewriting ◽

Symbolic Evaluation

Download Full-text

Goal-directed execution of answer set programs

Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12 ◽

10.1145/2370776.2370782 ◽

2012 ◽

Author(s):

Kyle Marple ◽

Ajay Bansal ◽

Richard Min ◽

Gopal Gupta

Keyword(s):

Download Full-text

Tor

Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12 ◽

10.1145/2370776.2370790 ◽

2012 ◽

Author(s):

Tom Schrijvers ◽

Markus Triska ◽

Bart Demoen

Download Full-text

Transparent function types

Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12 ◽

10.1145/2370776.2370793 ◽

2012 ◽

Author(s):

Enrique Martin-Martin ◽

Juan Rodríguez-Hortalá

Download Full-text

Compiling CHR to parallel hardware

Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12 ◽

10.1145/2370776.2370798 ◽

2012 ◽

Author(s):

Andrea Triossi ◽

Salvatore Orlando ◽

Alessandra Raffaetà ◽

Thom Frühwirth

Download Full-text

Task-oriented programming in a pure functional language

Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12 ◽

10.1145/2370776.2370801 ◽

2012 ◽

Author(s):

Rinus Plasmeijer ◽

Bas Lijnse ◽

Steffen Michels ◽

Peter Achten ◽

Pieter Koopman

Keyword(s):

Functional Language ◽

Download Full-text

Declarative distributed advertisement system for iDTV

Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12 ◽

10.1145/2370776.2370800 ◽

2012 ◽

Author(s):

Macías López ◽

Laura M. Castro ◽

David Cabrero

Download Full-text

Regular expression sub-matching using partial derivatives

Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12 ◽

10.1145/2370776.2370788 ◽

2012 ◽

Author(s):

Martin Sulzmann ◽

Kenny Zhuo Ming Lu

Keyword(s):

Regular Expression ◽

Partial Derivatives

Download Full-text