Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By ACM Press

1581137052

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

ViMer

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888258 ◽

2003 ◽

Author(s):

M. Cameron ◽

M. García de la Banda ◽

K. Marriott ◽

P. Moulder

Download Full-text

Term rewriting with variable binding

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888266 ◽

2003 ◽

Author(s):

Makoto Hamana

Keyword(s):

Term Rewriting ◽

Variable Binding

Download Full-text

Foundational proof checkers with small witnesses

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888276 ◽

2003 ◽

Author(s):

Dinghao Wu ◽

Andrew W. Appel ◽

Aaron Stump

Download Full-text

Integrating finite domain constraints and CLP with sets

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888272 ◽

2003 ◽

Author(s):

A. Dal Palú ◽

A. Dovier ◽

E. Pontelli ◽

G. Rossi

Keyword(s):

Finite Domain ◽

Domain Constraints

Download Full-text

On the rewriting and efficient computation of bound disjunctive datalog queries

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888265 ◽

2003 ◽

Author(s):

Sergio Greco ◽

Ester Zumpano

Keyword(s):

Efficient Computation

Download Full-text

Conditional narrowing without conditions

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888255 ◽

2003 ◽

Author(s):

Sergio Antoy ◽

Bernd Brassel ◽

Michael Hanus

Keyword(s):

Conditional Narrowing

Download Full-text

Towards a formal notion of trust

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888253 ◽

2003 ◽

Author(s):

Mogens Nielsen ◽

Karl Krukow

Download Full-text

Simplification and termination of strategies in rule-based languages

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888264 ◽

2003 ◽

Author(s):

Olivier Fissore ◽

Isabelle Gnaedig ◽

Hélène Kirchner

Keyword(s):

Download Full-text

A framework for typed HOAS and semantics

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888269 ◽

2003 ◽

Author(s):

Marino Miculan ◽

Ivan Scagnetto

Download Full-text

Rank 2 intersection types for modules

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03 ◽

10.1145/888251.888259 ◽

2003 ◽

Author(s):

Ferruccio Damiani

Keyword(s):

Rank 2 ◽

Intersection Types

Download Full-text