论文标题
LPOP：逻辑和编程实践的挑战和进步
LPOP: Challenges and Advances in Logic and Practice of Programming
论文作者
论文摘要
本文介绍了2018年7月18日在英国牛津举行的第一个逻辑和编程逻辑和实践（LPOP）研讨会上介绍的工作，并与Federated Logic Conference（FLOC）2018一起举行。其重点是挑战和进步的编程和实践。该研讨会是围绕一个挑战问题组织的，该问题指定了基于角色的访问控制（RBAC）中的问题，许多参与者提出了以其选择的语言表达的命令和声明性解决方案。
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.
