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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 1

Author(s):

Piotr Filipiuk ◽

Flemming Nielson ◽

Hanne Riis Nielson

Keyword(s):

Fixed Point

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 ◽

Cited By ~ 9

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 ◽

Cited By ~ 8

Author(s):

Kyle Marple ◽

Ajay Bansal ◽

Richard Min ◽

Gopal Gupta

Keyword(s):

Answer Set

Download Full-text

Tor

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

10.1145/2370776.2370790 ◽

2012 ◽

Cited By ~ 4

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

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 ◽

Cited By ~ 19

Author(s):

Rinus Plasmeijer ◽

Bas Lijnse ◽

Steffen Michels ◽

Peter Achten ◽

Pieter Koopman

Keyword(s):

Functional Language ◽

Task Oriented

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 ◽

Cited By ~ 5

Author(s):

Andrea Triossi ◽

Salvatore Orlando ◽

Alessandra Raffaetà ◽

Thom Frühwirth

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 ◽

Cited By ~ 1

Author(s):

Macías López ◽

Laura M. Castro ◽

David Cabrero

Download Full-text

Functional semantics of parsing actions, and left recursion elimination as continuation passing

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

10.1145/2370776.2370789 ◽

2012 ◽

Author(s):

Hayo Thielecke

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

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

Layered fixed point logic

Symbolic evaluation graphs and term rewriting

Goal-directed execution of answer set programs

Tor

Transparent function types

Task-oriented programming in a pure functional language

Compiling CHR to parallel hardware

Declarative distributed advertisement system for iDTV

Functional semantics of parsing actions, and left recursion elimination as continuation passing

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