FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Easier Rules and Constraints for Programming

Authors: Yanhong A. Liu and Scott Stoller

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Easier Rules and Constraints for Programming
Authors:Yanhong A. Liu and Scott Stoller
Proceedings:LPOP Position Papers
Editors: K. Tuncay Tekle and Marc Denecker
Keywords:queries, rules, constraints, RBAC
Abstract:

ABSTRACT. We discuss how rules and constraints might be made easier for more conventional programming. We use a language that extends DistAlgo, which extends Python, and we use the RBAC programming challenge plus distributed RBAC as examples.

Pages:9
Talk:Jul 18 12:10 (Session 126E: Security Policies as Challenge Problems)
Paper: