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

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By ACM Press

9781450364416

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks

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

10.1145/3236950.3236959 ◽

2018 ◽

Author(s):

Martin Sulzmann ◽

Kai Stadtmüller

Keyword(s):

Dynamic Analysis ◽

Message Passing ◽

Two Phase ◽

Phase Dynamic ◽

Download Full-text

Schematic Polymorphism in the Abella Proof Assistant

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

10.1145/3236950.3236961 ◽

2018 ◽

Author(s):

Gopalan Nadathur ◽

Yuting Wang

Keyword(s):

Proof Assistant

Download Full-text

Semantic Equivalence Checking for HHVM Bytecode

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

10.1145/3236950.3236975 ◽

2018 ◽

Author(s):

Nick Benton

Keyword(s):

Equivalence Checking ◽

Semantic Equivalence

Download Full-text

Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters

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

10.1145/3236950.3236966 ◽

2018 ◽

Author(s):

Falco Nogatz ◽

Jona Kalkus ◽

Dietmar Seipel

Keyword(s):

Web Based ◽

Definite Clause Grammars ◽

Definite Clause

Download Full-text

Certified Compilation of Financial Contracts

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

10.1145/3236950.3236955 ◽

2018 ◽

Author(s):

Danil Annenkov ◽

Martin Elsman

Keyword(s):

Financial Contracts

Download Full-text

JaVerT

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

10.1145/3236950.3236974 ◽

2018 ◽

Author(s):

Philippa Gardner

Download Full-text

Declarative GUIs

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

10.1145/3236950.3236962 ◽

2018 ◽

Author(s):

Stephan Adelsberger ◽

Anton Setzer ◽

Eric Walkingshaw

Download Full-text

Implicit Parameters for Logic Programming

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

10.1145/3236950.3236953 ◽

2018 ◽

Author(s):

Magnus Madsen ◽

Ondřej Lhoták

Keyword(s):

Logic Programming

Download Full-text

An Internalist Approach to Correct-by-Construction Compilers

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

10.1145/3236950.3236965 ◽

2018 ◽

Author(s):

Alberto Pardo ◽

Emmanuel Gunther ◽

Miguel Pagano ◽

Marcos Viera

Download Full-text

Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems

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

10.1145/3236950.3236963 ◽

2018 ◽

Author(s):

Genki Sakanashi ◽

Masahiko Sakai

Keyword(s):

Combinatorial Optimization ◽

Optimization Problems ◽

Combinatorial Optimization Problems

Download Full-text