22nd International Symposium on Principles and Practice of Declarative Programming
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 16)

H-INDEX

1

(FIVE YEARS 1)

Published By ACM

9781450388214

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Machinery of Interaction

22nd International Symposium on Principles and Practice of Declarative Programming ◽

10.1145/3414080.3414108 ◽

2020 ◽

Author(s):

Beniamino Accattoli ◽

Ugo Dal Lago ◽

Gabriele Vanoni

Download Full-text

Moulinog: A Generator of Random Student Assignments Written in Prolog

22nd International Symposium on Principles and Practice of Declarative Programming ◽

10.1145/3414080.3414100 ◽

2020 ◽

Author(s):

Gonzague Yernaux ◽

Wim Vanhoof ◽

Laurent Schumacher

Download Full-text

A Computational Understanding of Classical (Co)Recursion

22nd International Symposium on Principles and Practice of Declarative Programming ◽

10.1145/3414080.3414086 ◽

2020 ◽

Author(s):

Paul Downen ◽

Zena M. Ariola

Download Full-text

Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems

22nd International Symposium on Principles and Practice of Declarative Programming ◽

10.1145/3414080.3414089 ◽

2020 ◽

Author(s):

Maja Kirkeby ◽

Robert Glück

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems ◽

Conditional Term ◽

Conditional Term Rewriting

Download Full-text

Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting

22nd International Symposium on Principles and Practice of Declarative Programming ◽

10.1145/3414080.3414090 ◽

2020 ◽

Author(s):

Maribel Fernandez ◽

Janos Varga

Keyword(s):

Graph Rewriting

Download Full-text

A Dependently Typed Linear π-Calculus in Agda

22nd International Symposium on Principles and Practice of Declarative Programming ◽

10.1145/3414080.3414109 ◽

2020 ◽

Author(s):

Luca Ciccone ◽

Luca Padovani

Keyword(s):

Download Full-text

Understanding Lua’s Garbage Collection

22nd International Symposium on Principles and Practice of Declarative Programming ◽

10.1145/3414080.3414093 ◽

2020 ◽

Author(s):

Mallku Soldevila ◽

Beta Ziliani ◽

Daniel Fridlender

Keyword(s):

Garbage Collection

Download Full-text

Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications

22nd International Symposium on Principles and Practice of Declarative Programming ◽

10.1145/3414080.3414092 ◽

2020 ◽

Author(s):

Abhiroop Sarkar ◽

Mary Sheeran

Keyword(s):

Functional Language ◽

Iot Applications

Download Full-text

Proof-Carrying Plans: a Resource Logic for AI Planning

22nd International Symposium on Principles and Practice of Declarative Programming ◽

10.1145/3414080.3414094 ◽

2020 ◽

Author(s):

Alasdair Hill ◽

Ekaterina Komendantskaya ◽

Ronald P. A. Petrick

Keyword(s):

Download Full-text

Rewrites as Terms through Justification Logic

22nd International Symposium on Principles and Practice of Declarative Programming ◽

10.1145/3414080.3414091 ◽

2020 ◽

Author(s):

Pablo Barenbaum ◽

Eduardo Bonelli

Keyword(s):

Justification Logic

Download Full-text