Steve Barker, Michael Leuschel, Mauricio Varea. Efficient and flexible access control via logic program specialisation. In Nevin Heintze, Peter Sestoft, editors, Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004. pages 190-199, ACM, 2004. [doi]
Abstract is missing.