Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '01
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

158113388x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Should UML be used for declarative programming?

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '01 ◽

10.1145/773184.773185 ◽

2001 ◽

Author(s):

David A. Schmidt

Keyword(s):

Declarative Programming

Download Full-text

A direct approach to control-flow sensitive region-based memory management

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '01 ◽

10.1145/773184.773203 ◽

2001 ◽

Cited By ~ 13

Author(s):

Fritz Henglein ◽

Henning Makholm ◽

Henning Niss

Keyword(s):

Memory Management ◽

Control Flow ◽

Direct Approach ◽

Sensitive Region

Download Full-text

Parallel functional programming at two levels of abstraction

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '01 ◽

10.1145/773184.773204 ◽

2001 ◽

Cited By ~ 8

Author(s):

Ricardo Peña ◽

Fernando Rubio

Keyword(s):

Functional Programming ◽

Levels Of Abstraction

Download Full-text

Using confluence to generate rule-based constraint solvers

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '01 ◽

10.1145/773184.773198 ◽

2001 ◽

Cited By ~ 3

Author(s):

Slim Abdennadher ◽

Christophe Rigotti

Keyword(s):

Rule Based

Download Full-text

A denotational semantics for Timed Linda

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '01 ◽

10.1145/773184.773188 ◽

2001 ◽

Cited By ~ 3

Author(s):

F. S. de Boer ◽

M. Gabbrielli ◽

M. C. Meo

Keyword(s):

Denotational Semantics

Download Full-text

Declarative definition of group indexed data structures and approximation of their domains

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '01 ◽

10.1145/773184.773201 ◽

2001 ◽

Cited By ~ 11

Author(s):

Jean-Louis Giavitto ◽

Olivier Michel

Keyword(s):

Data Structures ◽

Definition Of

Download Full-text

De Bruijn's syntax and reductional equivalence of λ-terms

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '01 ◽

10.1145/773184.773187 ◽

2001 ◽

Cited By ~ 3

Author(s):

Fairouz Kamareddine ◽

Roel Bloo ◽

Rob Nederpelt

Download Full-text

Polymorphic directional types for logic programming

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '01 ◽

10.1145/773184.773192 ◽

2001 ◽

Cited By ~ 3

Author(s):

Pawel Rychlikowski ◽

Tomasz Truderung

Keyword(s):

Logic Programming

Download Full-text

Defunctionalization at work

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '01 ◽

10.1145/773184.773202 ◽

2001 ◽

Cited By ~ 45

Author(s):

Olivier Danvy ◽

Lasse R. Nielsen

Download Full-text

Constructor-based conditional narrowing

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '01 ◽

10.1145/773184.773205 ◽

2001 ◽

Cited By ~ 25

Author(s):

Sergio Antoy

Keyword(s):

Conditional Narrowing

Download Full-text

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '01Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Should UML be used for declarative programming?

A direct approach to control-flow sensitive region-based memory management

Parallel functional programming at two levels of abstraction

Using confluence to generate rule-based constraint solvers

A denotational semantics for Timed Linda

Declarative definition of group indexed data structures and approximation of their domains

De Bruijn's syntax and reductional equivalence of λ-terms

Polymorphic directional types for logic programming

Defunctionalization at work

Constructor-based conditional narrowing

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '01
Latest Publications