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

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By ACM Press

1581135289

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the expressive power of temporal concurrent constraint programming languages

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

10.1145/571157.571173 ◽

2002 ◽

Author(s):

Mogens Nielsen ◽

Catuscia Palamidessi ◽

Frank D. Valencia

Keyword(s):

Programming Languages ◽

Constraint Programming ◽

Expressive Power ◽

Concurrent Constraint Programming

Download Full-text

Modular termination of context-sensitive rewriting

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

10.1145/571157.571163 ◽

2002 ◽

Author(s):

Bernhard Gramlich ◽

Salvador Lucas

Keyword(s):

Context Sensitive

Download Full-text

Transforming the .NET intermediate language using path logic programming

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

10.1145/571157.571171 ◽

2002 ◽

Author(s):

Stephen Drape ◽

Oege de Moor ◽

Ganesh Sittampalam

Keyword(s):

Logic Programming ◽

Intermediate Language

Download Full-text

Abstract and conclusions of PLI invited paper

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

10.1145/571157.571158 ◽

2002 ◽

Author(s):

Neil D. Jones ◽

Arne J. Glenstrup

Download Full-text

Coercion as homomorphism

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

10.1145/571157.571160 ◽

2002 ◽

Author(s):

Alex Shafarenko

Download Full-text

A generic operator over discrete time intervals

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

10.1145/571157.571172 ◽

2002 ◽

Author(s):

Jérémie Blanc ◽

Rachid Echahed

Keyword(s):

Discrete Time ◽

Download Full-text

Using the heap to eliminate stack accesses

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

10.1145/571157.571170 ◽

2002 ◽

Author(s):

Zoltan Somogyi ◽

Peter J. Stuckey

Download Full-text

Semantic analysis of normalisation by evaluation for typed lambda calculus

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

10.1145/571157.571161 ◽

2002 ◽

Author(s):

Marcelo Fiore

Keyword(s):

Semantic Analysis ◽

Lambda Calculus ◽

Typed Lambda Calculus

Download Full-text

True separate compilation of Java classes

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

10.1145/571157.571177 ◽

2002 ◽

Author(s):

D. Ancona ◽

G. Lagorio ◽

E. Zucca

Keyword(s):

Separate Compilation

Download Full-text

Constraint-based mode analysis of mercury

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

10.1145/571157.571169 ◽

2002 ◽

Author(s):

David Overton ◽

Zoltan Somogyi ◽

Peter J. Stuckey

Keyword(s):

Download Full-text