Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450329477

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Type Theoretic Specification of Partial Evaluation

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 ◽

10.1145/2643135.2643146 ◽

2014 ◽

Cited By ~ 1

Author(s):

Kenichi Asai ◽

Luminous Fennell ◽

Peter Thiemann ◽

Yang Zhang

Keyword(s):

Partial Evaluation

Download Full-text

Real-Time Matching of Antescofo Temporal Patterns

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 ◽

10.1145/2643135.2643158 ◽

2014 ◽

Cited By ~ 1

Author(s):

Jean-Louis Giavitto ◽

José Echeveste

Keyword(s):

Real Time ◽

Temporal Patterns

Download Full-text

Lazier Imperative Programming

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 ◽

10.1145/2643135.2643159 ◽

2014 ◽

Cited By ~ 1

Author(s):

Rémi Douence ◽

Nicolas Tabareau

Download Full-text

Continuations, Processes, and Sharing

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 ◽

10.1145/2643135.2643155 ◽

2014 ◽

Cited By ~ 2

Author(s):

Paul Downen ◽

Luke Maurer ◽

Zena M. Ariola ◽

Daniele Varacca

Download Full-text

On Combining Backward and Forward Chaining in Constraint Logic Programming

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 ◽

10.1145/2643135.2643144 ◽

2014 ◽

Cited By ~ 1

Author(s):

Rémy Haemmerlé

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Forward Chaining

Download Full-text

Parametricity and Proving Free Theorems for Functional-Logic Languages

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 ◽

10.1145/2643135.2643147 ◽

2014 ◽

Cited By ~ 2

Author(s):

Stefan Mehner ◽

Daniel Seidel ◽

Lutz Straßburger ◽

Janis Voigtländer

Keyword(s):

Functional Logic

Download Full-text

Proofs in continuation-passing style

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 ◽

10.1145/2643135.2643161 ◽

2014 ◽

Author(s):

Danko Ilik

Download Full-text

Proving Operational Termination of Declarative Programs in General Logics

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 ◽

10.1145/2643135.2643152 ◽

2014 ◽

Cited By ~ 5

Author(s):

Salvador Lucas ◽

José Meseguer

Keyword(s):

Operational Termination

Download Full-text

Theories of Homomorphic Encryption, Unification, and the Finite Variant Property

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 ◽

10.1145/2643135.2643154 ◽

2014 ◽

Cited By ~ 5

Author(s):

Fan Yang ◽

Santiago Escobar ◽

Catherine Meadows ◽

José Meseguer ◽

Paliath Narendran

Keyword(s):

Homomorphic Encryption

Download Full-text

Decision Procedures for Proving Inductive Theorems without Induction

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 ◽

10.1145/2643135.2643156 ◽

2014 ◽

Cited By ~ 1

Author(s):

Takahito Aoto ◽

Sorin Stratulat

Keyword(s):

Decision Procedures

Download Full-text

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

A Type Theoretic Specification of Partial Evaluation

Real-Time Matching of Antescofo Temporal Patterns

Lazier Imperative Programming

Continuations, Processes, and Sharing

On Combining Backward and Forward Chaining in Constraint Logic Programming

Parametricity and Proving Free Theorems for Functional-Logic Languages

Proofs in continuation-passing style

Proving Operational Termination of Declarative Programs in General Logics

Theories of Homomorphic Encryption, Unification, and the Finite Variant Property

Decision Procedures for Proving Inductive Theorems without Induction

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14
Latest Publications