Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450335164

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Expressing preferences in logic programming using an infinite-valued logic

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 ◽

10.1145/2790449.2790511 ◽

2015 ◽

Cited By ~ 1

Author(s):

Panos Rondogiannis ◽

Antonis Troumpoukis

Keyword(s):

Logic Programming

Download Full-text

Declarative interpretations of session-based concurrency

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 ◽

10.1145/2790449.2790513 ◽

2015 ◽

Cited By ~ 1

Author(s):

Mauricio Cano ◽

Camilo Rueda ◽

Hugo A. López ◽

Jorge A. Pérez

Download Full-text

From monoids to near-semirings

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 ◽

10.1145/2790449.2790514 ◽

2015 ◽

Cited By ~ 6

Author(s):

Exequiel Rivas ◽

Mauro Jaskelioff ◽

Tom Schrijvers

Download Full-text

Semantics-based generation of verification conditions by program specialization

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 ◽

10.1145/2790449.2790529 ◽

2015 ◽

Cited By ~ 10

Author(s):

E. De Angelis ◽

F. Fioravanti ◽

A. Pettorossi ◽

M. Proietti

Keyword(s):

Program Specialization ◽

Verification Conditions

Download Full-text

A devil's advocate against termination of direct recursion

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 ◽

10.1145/2790449.2790518 ◽

2015 ◽

Cited By ~ 3

Author(s):

Thom Frühwirth

Download Full-text

Lasp

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 ◽

10.1145/2790449.2790525 ◽

2015 ◽

Cited By ~ 18

Author(s):

Christopher Meiklejohn ◽

Peter Van Roy

Download Full-text

Concolic testing for functional languages

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 ◽

10.1145/2790449.2790519 ◽

2015 ◽

Cited By ~ 6

Author(s):

Aggelos Giantsios ◽

Nikolaos Papaspyrou ◽

Konstantinos Sagonas

Keyword(s):

Functional Languages ◽

Concolic Testing

Download Full-text

Automated verification of safety properties of declarative networking programs

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 ◽

10.1145/2790449.2790516 ◽

2015 ◽

Cited By ~ 1

Author(s):

Chen Chen ◽

Lay Kuan Loh ◽

Limin Jia ◽

Wenchao Zhou ◽

Boon Thau Loo

Keyword(s):

Automated Verification ◽

Safety Properties

Download Full-text

Debugging of wrong and missing answers for datalog programs with constraint handling rules

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 ◽

10.1145/2790449.2790522 ◽

2015 ◽

Cited By ~ 2

Author(s):

Rafael Caballero ◽

Yolanda García-Ruiz ◽

Fernando Sáenz-Pérez

Keyword(s):

Constraint Handling

Download Full-text

On modeling planning problems in tabled logic programming

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15 ◽

10.1145/2790449.2790521 ◽

2015 ◽

Cited By ~ 4

Author(s):

Roman Barták ◽

Agostino Dovier ◽

Neng-Fa Zhou

Keyword(s):

Logic Programming ◽

Planning Problems

Download Full-text

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Expressing preferences in logic programming using an infinite-valued logic

Declarative interpretations of session-based concurrency

From monoids to near-semirings

Semantics-based generation of verification conditions by program specialization

A devil's advocate against termination of direct recursion

Lasp

Concolic testing for functional languages

Automated verification of safety properties of declarative networking programs

Debugging of wrong and missing answers for datalog programs with constraint handling rules

On modeling planning problems in tabled logic programming

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15
Latest Publications