LPOP: Challenges and Advances in Logic and Practice of Programming

08/15/2020
by   David S. Warren, et al.
0

This article describes the work presented at the first Logic and Practice of Programming (LPOP) Workshop, which was held in Oxford, UK, on July 18, 2018, in conjunction with the Federated Logic Conference (FLoC) 2018. Its focus is challenges and advances in logic and practice of programming. The workshop was organized around a challenge problem that specifies issues in role-based access control (RBAC), with many participants proposing combined imperative and declarative solutions expressed in the languages of their choice.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

09/13/2017

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types

The Workshop on Coalgebra, Horn Clause Logic Programming and Types was h...
04/07/2017

AppLP: A Dialogue on Applications of Logic Programming

This document describes the contributions of the 2016 Applications of Lo...
09/02/2020

Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)

This volume constitutes the pre-proceedings of the 28th International Wo...
05/01/2018

Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming

Evolutionary Biologists have long struggled with the challenge of develo...
03/22/2000

Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000

The papers gathered in this collection were presented at the 8th Interna...
11/22/2021

Parallel Logic Programming: A Sequel

Multi-core and highly-connected architectures have become ubiquitous, an...
10/04/2018

FSS++ Workshop Report: Handling Uncertainty for Data Quality Management

This report describes the results of the eSCF Awareness Workshop on Hand...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.