LPOP: Challenges and Advances in Logic and Practice of Programming
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2020
- DOI:
- 10.48550/arXiv.2008.07901
- arXiv:
- arXiv:2008.07901
- Bibcode:
- 2020arXiv200807901W
- Keywords:
-
- Computer Science - Programming Languages;
- Computer Science - Artificial Intelligence;
- Computer Science - Logic in Computer Science
- E-Print:
- arXiv admin note: substantial text overlap with arXiv:1804.10247 by other authors