Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605585680

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A dynamically customizable process-centered evaluation model

Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 ◽

10.1145/1599410.1599416 ◽

2009 ◽

Cited By ~ 2

Author(s):

Silvia Clerici ◽

Cristina Zoltan

Keyword(s):

Evaluation Model

Download Full-text

Model-checking higher-order functions

Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 ◽

10.1145/1599410.1599415 ◽

2009 ◽

Cited By ~ 42

Author(s):

Naoki Kobayashi

Keyword(s):

Model Checking ◽

Higher Order ◽

Higher Order Functions

Download Full-text

Future contracts

Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 ◽

10.1145/1599410.1599435 ◽

2009 ◽

Cited By ~ 6

Author(s):

Christos Dimoulas ◽

Riccardo Pucella ◽

Matthias Felleisen

Download Full-text

An Isabelle/HOL-based model of stratego-like traversal strategies

Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 ◽

10.1145/1599410.1599423 ◽

2009 ◽

Author(s):

Markus Kaiser ◽

Ralf Lämmel

Download Full-text

Reasoning with hypothetical judgments and open terms in hybrid

Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 ◽

10.1145/1599410.1599422 ◽

2009 ◽

Cited By ~ 6

Author(s):

Amy P. Felty ◽

Alberto Momigliano

Download Full-text

Scrap your boilerplate

Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 ◽

10.1145/1599410.1599412 ◽

2009 ◽

Cited By ~ 1

Author(s):

Ralf Lämmel

Download Full-text

Language support for processing distributed ad hoc data

Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 ◽

10.1145/1599410.1599440 ◽

2009 ◽

Author(s):

Kenny Q. Zhu ◽

Daniel S. Dantas ◽

Kathleen Fisher ◽

Limin Jia ◽

Yitzhak Mandelbaum ◽

...

Keyword(s):

Ad Hoc ◽

Language Support

Download Full-text

Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas

Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 ◽

10.1145/1599410.1599426 ◽

2009 ◽

Cited By ~ 1

Author(s):

Gabriel Aranda-López ◽

Susana Nieva ◽

Fernando Sáenz-Pérez ◽

Jaime Sánchez-Hernández

Keyword(s):

Fixed Point ◽

Deductive Database ◽

Fixed Point Semantics

Download Full-text

A higher-order logical framework for the algorithmic debugging and verification of declarative programs

Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 ◽

10.1145/1599410.1599418 ◽

2009 ◽

Cited By ~ 1

Author(s):

Rafael del Vado Vírseda

Keyword(s):

Higher Order ◽

Logical Framework

Download Full-text

The RPC calculus

Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 ◽

10.1145/1599410.1599439 ◽

2009 ◽

Cited By ~ 10

Author(s):

Ezra E.K. Cooper ◽

Philip Wadler

Download Full-text

Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

A dynamically customizable process-centered evaluation model

Model-checking higher-order functions

Future contracts

An Isabelle/HOL-based model of stratego-like traversal strategies

Reasoning with hypothetical judgments and open terms in hybrid

Scrap your boilerplate

Language support for processing distributed ad hoc data

Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas

A higher-order logical framework for the algorithmic debugging and verification of declarative programs

The RPC calculus

Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09
Latest Publications