LPOP: Challenges and Advances in Logic and Practice of Programming
This is an incremental workshop report for researchers in programming languages and logic, focusing on a specific RBAC challenge.
The article reports on the first LPOP Workshop, which tackled challenges in logic and practice of programming through a role-based access control (RBAC) problem, with participants proposing combined imperative and declarative solutions in various languages.
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.