Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1595930906

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Nominal rewriting with name generation

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 ◽

10.1145/1069774.1069779 ◽

2005 ◽

Cited By ~ 9

Author(s):

Maribel Fernández ◽

Murdoch J. Gabbay

Download Full-text

Abstraction carrying code and resource-awareness

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 ◽

10.1145/1069774.1069775 ◽

2005 ◽

Cited By ~ 3

Author(s):

Manuel V. Hermenegildo ◽

Elvira Albert ◽

Pedro López-García ◽

Germán Puebla

Download Full-text

ReactiveML

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 ◽

10.1145/1069774.1069782 ◽

2005 ◽

Cited By ~ 31

Author(s):

Louis Mandel ◽

Marc Pouzet

Download Full-text

Security analysis of network protocols

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 ◽

10.1145/1069774.1069788 ◽

2005 ◽

Cited By ~ 4

Author(s):

John C. Mitchell

Keyword(s):

Security Analysis ◽

Network Protocols

Download Full-text

Formal validation of pattern matching code

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 ◽

10.1145/1069774.1069792 ◽

2005 ◽

Cited By ~ 6

Author(s):

Claude Kirchner ◽

Pierre-Etienne Moreau ◽

Antoine Reilles

Keyword(s):

Pattern Matching ◽

Formal Validation

Download Full-text

Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD)

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 ◽

10.1145/1069774.1069796 ◽

2005 ◽

Cited By ~ 5

Author(s):

Alessandro Dal Palù ◽

Agostino Dovier ◽

Enrico Pontelli

Keyword(s):

Protein Structure ◽

Protein Structure Prediction ◽

Structure Prediction

Download Full-text

Isolation-only transactions by typing and versioning

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 ◽

10.1145/1069774.1069781 ◽

2005 ◽

Cited By ~ 7

Author(s):

Paweł T. Wojciechowski

Download Full-text

Timed constraint programming

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 ◽

10.1145/1069774.1069790 ◽

2005 ◽

Cited By ~ 9

Author(s):

Radha Jagadeesan ◽

Will Marrero

Keyword(s):

Constraint Programming

Download Full-text

Self-tuning resource aware specialisation for prolog

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 ◽

10.1145/1069774.1069777 ◽

2005 ◽

Cited By ~ 5

Author(s):

Stephen-John Craig ◽

Michael Leuschel

Keyword(s):

Self Tuning ◽

Resource Aware

Download Full-text

Abstract interpretation for constraint handling rules

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 ◽

10.1145/1069774.1069795 ◽

2005 ◽

Cited By ~ 8

Author(s):

Tom Schrijvers ◽

Peter J. Stuckey ◽

Gregory J. Duck

Keyword(s):

Abstract Interpretation ◽

Constraint Handling

Download Full-text

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Nominal rewriting with name generation

Abstraction carrying code and resource-awareness

ReactiveML

Security analysis of network protocols

Formal validation of pattern matching code

Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD)

Isolation-only transactions by typing and versioning

Timed constraint programming

Self-tuning resource aware specialisation for prolog

Abstract interpretation for constraint handling rules

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05
Latest Publications