Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By ACM Press

9781450321549

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reasoning about higher-order relational specifications

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 ◽

10.1145/2505879.2505889 ◽

2013 ◽

Author(s):

Yuting Wang ◽

Kaustuv Chaudhuri ◽

Andrew Gacek ◽

Gopalan Nadathur

Keyword(s):

Download Full-text

A logical correspondence between natural semantics and abstract machines

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 ◽

10.1145/2505879.2505899 ◽

2013 ◽

Author(s):

Robert J. Simmons ◽

Ian Zerny

Keyword(s):

Abstract Machines

Download Full-text

Eventual linear ranking functions

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 ◽

10.1145/2505879.2505884 ◽

2013 ◽

Author(s):

Roberto Bagnara ◽

Fred Mesnard

Keyword(s):

Ranking Functions

Download Full-text

A parameterized graph transformation calculus for finite graphs with monadic branches

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 ◽

10.1145/2505879.2505903 ◽

2013 ◽

Author(s):

Kazuyuki Asada ◽

Soichiro Hidaka ◽

Hiroyuki Kato ◽

Zhenjiang Hu ◽

Keisuke Nakano

Keyword(s):

Graph Transformation ◽

Download Full-text

A semantics for weakly encapsulated search in functional logic programs

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 ◽

10.1145/2505879.2505896 ◽

2013 ◽

Author(s):

Jan Christiansen ◽

Michael Hanus ◽

Fabian Reck ◽

Daniel Seidel

Keyword(s):

Logic Programs ◽

Functional Logic

Download Full-text

An operational foundation for the tactic language of Coq

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 ◽

10.1145/2505879.2505890 ◽

2013 ◽

Author(s):

Wojciech Jedynak ◽

Małgorzata Biernacka ◽

Dariusz Biernacki

Download Full-text

Time refinement in a functional synchronous language

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 ◽

10.1145/2505879.2505904 ◽

2013 ◽

Author(s):

Louis Mandel ◽

Cédric Pasteur ◽

Marc Pouzet

Keyword(s):

Synchronous Language

Download Full-text

Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 ◽

10.1145/2505879.2505895 ◽

2013 ◽

Author(s):

Gordon Stewart ◽

Anindya Banerjee ◽

Aleksandar Nanevski

Keyword(s):

Information Flow ◽

Data Structures ◽

Heterogeneous Data ◽

Dependent Types

Download Full-text

Bidirectionalization for free with runtime recording

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 ◽

10.1145/2505879.2505888 ◽

2013 ◽

Author(s):

Kazutaka Matsuda ◽

Meng Wang

Download Full-text

A declarative and bidirectional model transformation approach based on graph co-spans

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 ◽

10.1145/2505879.2505900 ◽

2013 ◽

Author(s):

Yngve Lamo ◽

Florian Mantz ◽

Adrian Rutle ◽

Juan de Lara

Keyword(s):

Model Transformation ◽

Transformation Approach ◽

Bidirectional Model Transformation

Download Full-text