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

scholarly journals Reasoning about higher-order relational specifications

2013 ◽  
Author(s):  
Yuting Wang ◽  
Kaustuv Chaudhuri ◽  
Andrew Gacek ◽  
Gopalan Nadathur
Keyword(s):  
Higher Order

A parameterized graph transformation calculus for finite graphs with monadic branches

2013 ◽  
Author(s):  
Kazuyuki Asada ◽  
Soichiro Hidaka ◽  
Hiroyuki Kato ◽  
Zhenjiang Hu ◽  
Keisuke Nakano
Keyword(s):  
Graph Transformation ◽  
Finite Graphs

A semantics for weakly encapsulated search in functional logic programs

2013 ◽  
Author(s):  
Jan Christiansen ◽  
Michael Hanus ◽  
Fabian Reck ◽  
Daniel Seidel
Keyword(s):  
Logic Programs ◽  
Functional Logic

An operational foundation for the tactic language of Coq

2013 ◽  
Author(s):  
Wojciech Jedynak ◽  
Małgorzata Biernacka ◽  
Dariusz Biernacki
Load More ...
Sign in / Sign up

Export Citation Format

Share Document