Constraint Functional Logic Programming Revisited
- 作者F. Javier López-Fraguas; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda
- 卷第117卷
- 印刷ISSN1571-0661
- 文件大小751.32KB
- 发表时间2005
- DOI10.1016/j.entcs.2004.06.030
- 页码5-50
Hard Life with Weak BindersMassimo Bartoletti; Pierpaolo Degano; Gian Luigi Ferrari; Roberto Zunino · 2009
Model checking usage policiesBARTOLETTI, MASSIMO; DEGANO, PIERPAOLO; FERRARI, GIAN LUIGI; ZUNINO, ROBERTO · Mathematical Structures in Computer Science · 2015
Stack inspection and secure program transformationsMassimo Bartoletti; Pierpaolo Degano; Gian Luigi Ferrari · International Journal of Information Security · 2004
Local policies for resource usage analysisBartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian-Luigi; Zunino, Roberto · ACM Transactions on Programming Languages and Systems · 2009
[ACM Press the 2005 workshop - Long Beach, California (2005.01.10-2005.01.11)] Proceedings of the 2005 workshop on Issues in the theory of security - WITS '05 - Policy framings for access controlBartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi · 2005