Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450301329

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Precise complexity analysis for efficient datalog queries

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10 ◽

10.1145/1836089.1836094 ◽

2010 ◽

Cited By ~ 3

Author(s):

K. Tuncay Tekle ◽

Yanhong A. Liu

Keyword(s):

Complexity Analysis

Download Full-text

Tabling for transaction logic

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10 ◽

10.1145/1836089.1836115 ◽

2010 ◽

Cited By ~ 5

Author(s):

Paul Fodor ◽

Michael Kifer

Keyword(s):

Transaction Logic

Download Full-text

Type inference in intuitionistic linear logic

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10 ◽

10.1145/1836089.1836118 ◽

2010 ◽

Cited By ~ 4

Author(s):

Patrick Baillot ◽

Martin Hofmann

Keyword(s):

Linear Logic ◽

Type Inference ◽

Intuitionistic Linear Logic

Download Full-text

Towards a jitting VM for prolog execution

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10 ◽

10.1145/1836089.1836102 ◽

2010 ◽

Cited By ~ 11

Author(s):

Carl Friedrich Bolz ◽

Michael Leuschel ◽

David Schneider

Download Full-text

Functional derivation of a virtual machine for delimited continuations

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10 ◽

10.1145/1836089.1836101 ◽

2010 ◽

Author(s):

Kenichi Asai ◽

Arisa Kitani

Keyword(s):

Virtual Machine ◽

Delimited Continuations

Download Full-text

Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10 ◽

10.1145/1836089.1836097 ◽

2010 ◽

Cited By ~ 1

Author(s):

Thierry Martinez

Keyword(s):

Constraint Programming ◽

Constraint Handling ◽

Concurrent Constraint Programming

Download Full-text

Graph queries through datalog optimizations

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10 ◽

10.1145/1836089.1836093 ◽

2010 ◽

Cited By ~ 3

Author(s):

K. Tuncay Tekle ◽

Michael Gorbovitski ◽

Yanhong A. Liu

Keyword(s):

Graph Queries

Download Full-text

Declarative modeling of finite mathematics

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10 ◽

10.1145/1836089.1836107 ◽

2010 ◽

Cited By ~ 7

Author(s):

Paul Tarau

Keyword(s):

Finite Mathematics ◽

Declarative Modeling

Download Full-text

Deriving predicate statistics in datalog

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10 ◽

10.1145/1836089.1836095 ◽

2010 ◽

Cited By ~ 2

Author(s):

Senlin Liang ◽

Michael Kifer

Download Full-text

Declarative workflows to efficiently manage flexible and advanced business processes

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10 ◽

10.1145/1836089.1836116 ◽

2010 ◽

Cited By ~ 2

Author(s):

Romain Demeyer ◽

Maxime Van Assche ◽

Ludovic Langevine ◽

Wim Vanhoof

Keyword(s):

Business Processes

Download Full-text

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Precise complexity analysis for efficient datalog queries

Tabling for transaction logic

Type inference in intuitionistic linear logic

Towards a jitting VM for prolog execution

Functional derivation of a virtual machine for delimited continuations

Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules

Graph queries through datalog optimizations

Declarative modeling of finite mathematics

Deriving predicate statistics in datalog

Declarative workflows to efficiently manage flexible and advanced business processes

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10
Latest Publications