Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605581170

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards execution time estimation in abstract machine-based languages

Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 ◽

10.1145/1389449.1389471 ◽

2008 ◽

Cited By ~ 3

Author(s):

E. Mera ◽

P. Lopez ◽

M. Carro ◽

M. Hermenegildo

Keyword(s):

Execution Time ◽

Time Estimation ◽

Abstract Machine

Download Full-text

Inferring precise polymorphic type dependencies in logic programs

Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 ◽

10.1145/1389449.1389467 ◽

2008 ◽

Author(s):

Lunjin Lu

Keyword(s):

Logic Programs ◽

Polymorphic Type

Download Full-text

Parallel execution of multi-set constraint rewrite rules

Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 ◽

10.1145/1389449.1389453 ◽

2008 ◽

Cited By ~ 3

Author(s):

Martin Sulzmann ◽

Edmund S. L. Lam

Keyword(s):

Parallel Execution ◽

Rewrite Rules

Download Full-text

Dynamic variable elimination during propagation solving

Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 ◽

10.1145/1389449.1389480 ◽

2008 ◽

Author(s):

Christian Schulte ◽

Peter J. Stuckey

Keyword(s):

Dynamic Variable ◽

Variable Elimination

Download Full-text

Comparing tag scheme variations using an abstract machine generator

Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 ◽

10.1145/1389449.1389455 ◽

2008 ◽

Cited By ~ 2

Author(s):

José F. Morales ◽

Manuel Carro ◽

Manuel Hermenegildo

Keyword(s):

Abstract Machine

Download Full-text

Similarity-based reasoning in qualified logic programming

Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 ◽

10.1145/1389449.1389472 ◽

2008 ◽

Cited By ~ 5

Author(s):

Rafael Caballero ◽

Mario Rodríguez-Artalejo ◽

Carlos A. Romero-Díaz

Keyword(s):

Logic Programming

Download Full-text

Classifying integrity checking methods with regard to inconsistency tolerance

Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 ◽

10.1145/1389449.1389474 ◽

2008 ◽

Cited By ~ 11

Author(s):

Hendrik Decker ◽

Davide Martinenghi

Keyword(s):

Integrity Checking

Download Full-text

Fixed point semantics and partial recursion in Coq

Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 ◽

10.1145/1389449.1389461 ◽

2008 ◽

Cited By ~ 6

Author(s):

Yves Bertot ◽

Vladimir Komendantsky

Keyword(s):

Fixed Point ◽

Fixed Point Semantics

Download Full-text

Comprehending finite maps for algorithmic debugging of higher-order functional programs

Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 ◽

10.1145/1389449.1389475 ◽

2008 ◽

Cited By ~ 6

Author(s):

Olaf Chitil ◽

Thomas Davie

Keyword(s):

Higher Order

Download Full-text

Order-sorted dependency pairs

Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 ◽

10.1145/1389449.1389463 ◽

2008 ◽

Cited By ~ 6

Author(s):

Salvador Lucas ◽

José Meseguer

Keyword(s):

Dependency Pairs

Download Full-text

Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Towards execution time estimation in abstract machine-based languages

Inferring precise polymorphic type dependencies in logic programs

Parallel execution of multi-set constraint rewrite rules

Dynamic variable elimination during propagation solving

Comparing tag scheme variations using an abstract machine generator

Similarity-based reasoning in qualified logic programming

Classifying integrity checking methods with regard to inconsistency tolerance

Fixed point semantics and partial recursion in Coq

Comprehending finite maps for algorithmic debugging of higher-order functional programs

Order-sorted dependency pairs

Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08
Latest Publications