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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781595937698

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Observing intermediate structures in a parallel lazy functional language

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

10.1145/1273920.1273935 ◽

2007 ◽

Author(s):

Alberto de la Encina ◽

Luis Llana ◽

Fernando Rubio ◽

Mercedes Hidalgo-Herrero

Keyword(s):

Functional Language

Download Full-text

Computing with subspaces

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

10.1145/1273920.1273936 ◽

2007 ◽

Cited By ~ 1

Author(s):

Sergio Antoy ◽

Bernd Braßel

Download Full-text

Regular directional types for logic programs

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

10.1145/1273920.1273949 ◽

2007 ◽

Author(s):

Witold Charatonik

Keyword(s):

Logic Programs

Download Full-text

Putting declarative programming into the web

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

10.1145/1273920.1273942 ◽

2007 ◽

Cited By ~ 5

Author(s):

Michael Hanus

Keyword(s):

Declarative Programming ◽

The Web

Download Full-text

Systematic generation of glass-box test cases for functional logic programs

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

10.1145/1273920.1273930 ◽

2007 ◽

Cited By ~ 18

Author(s):

Sebastian Fischer ◽

Herbert Kuchen

Keyword(s):

Test Cases ◽

Logic Programs ◽

Functional Logic

Download Full-text

Feasible reactivity in a synchronous Π-calculus

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

10.1145/1273920.1273951 ◽

2007 ◽

Cited By ~ 5

Author(s):

Roberto M. Amadio ◽

Frédéric Dabrowski

Keyword(s):

Π Calculus

Download Full-text

Higher-order semantic labelling for inductive datatype systems

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

10.1145/1273920.1273933 ◽

2007 ◽

Cited By ~ 8

Author(s):

Makoto Hamana

Keyword(s):

Higher Order ◽

Semantic Labelling

Download Full-text

A simple rewrite notion for call-time choice semantics

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

10.1145/1273920.1273947 ◽

2007 ◽

Cited By ~ 8

Author(s):

Francisco J. López-Fraguas ◽

Juan Rodríguez-Hortalá ◽

Jaime Sánchez-Hernández

Download Full-text

User-definable rule priorities for CHR

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

10.1145/1273920.1273924 ◽

2007 ◽

Cited By ~ 10

Author(s):

Leslie De Koninck ◽

Tom Schrijvers ◽

Bart Demoen

Download Full-text

Induction for positive almost sure termination

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

10.1145/1273920.1273943 ◽

2007 ◽

Cited By ~ 4

Author(s):

Isabelle Gnaedig

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Observing intermediate structures in a parallel lazy functional language

Computing with subspaces

Regular directional types for logic programs

Putting declarative programming into the web

Systematic generation of glass-box test cases for functional logic programs

Feasible reactivity in a synchronous Π-calculus

Higher-order semantic labelling for inductive datatype systems

A simple rewrite notion for call-time choice semantics

User-definable rule priorities for CHR

Induction for positive almost sure termination

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