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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 10

Author(s):

Yuting Wang ◽

Kaustuv Chaudhuri ◽

Andrew Gacek ◽

Gopalan Nadathur

Keyword(s):

Higher Order

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 ◽

Cited By ~ 12

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 ◽

Cited By ~ 7

Author(s):

Kazuyuki Asada ◽

Soichiro Hidaka ◽

Hiroyuki Kato ◽

Zhenjiang Hu ◽

Keisuke Nakano

Keyword(s):

Graph Transformation ◽

Finite Graphs

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 ◽

Cited By ~ 3

Author(s):

Jan Christiansen ◽

Michael Hanus ◽

Fabian Reck ◽

Daniel Seidel

Keyword(s):

Logic Programs ◽

Functional Logic

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 ◽

Cited By ~ 5

Author(s):

Gordon Stewart ◽

Anindya Banerjee ◽

Aleksandar Nanevski

Keyword(s):

Information Flow ◽

Data Structures ◽

Heterogeneous Data ◽

Dependent Types

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 ◽

Cited By ~ 5

Author(s):

Louis Mandel ◽

Cédric Pasteur ◽

Marc Pouzet

Keyword(s):

Synchronous Language

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 ◽

Cited By ~ 3

Author(s):

Yngve Lamo ◽

Florian Mantz ◽

Adrian Rutle ◽

Juan de Lara

Keyword(s):

Model Transformation ◽

Transformation Approach ◽

Bidirectional Model Transformation

Download Full-text

Extensible sparse functional arrays with circuit parallelism

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

10.1145/2505879.2505891 ◽

2013 ◽

Cited By ~ 1

Author(s):

John T. O'Donnell

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Reasoning about higher-order relational specifications

A logical correspondence between natural semantics and abstract machines

Eventual linear ranking functions

A parameterized graph transformation calculus for finite graphs with monadic branches

A semantics for weakly encapsulated search in functional logic programs

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

An operational foundation for the tactic language of Coq

Time refinement in a functional synchronous language

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

Extensible sparse functional arrays with circuit parallelism

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