Type and effect systems (1999)

by Flemming Nielson , Hanne Riis Nielson
Venue:ACM Computing Surveys
Citations:34 - 0 self

Documents Related by Co-Citation

152 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
238 Polymorphic effect systems – John M. Lucassen, David K. Gifford - 1988
85 Resource Usage Analysis – Atsushi Igarashi, Naoki Kobayashi - 2002
99 Access Control based on Execution History – Martin Abadi, Cedric Fournet - 2003
23 Resource usage verification – Kim Marriott, Peter J. Stuckey, Martin Sulzmann - 2003
75 Enforcing Trace Properties by Program Transformation – Thomas Colcombet, Pascal Fradet - 2000
467 Enforceable Security Policies – Fred B. Schneider
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
19 Enforcing secure service composition – Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari - 2005
17 Security policies as membranes in systems for global computing – Daniele Gorla, Matthew Hennessy, Vladimiro Sassone - 2004
42 A Semantics for Web Services Authentication – Karthikeyan Bhargavan, et al. - 2004
14 Behavioural Types and Component Adaptation – Antonio Brogi, Carlos Canal, Ernesto Pimentel - 2004
22 Secure sessions for web services – Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon - 2004
8 Typing the behaviours of objects and components using session types – A Vallecillo, V Vansconcelos, A Ravara - 2002
19 Typechecking Safe Process Synchronization – Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter - 2004
12 Secure composition of untrusted code: box-π, wrappers and causality types – P Sewell, J Vitek - 2004
86 Integrating functional and imperative programming – David K Gifford, John M Lucassen - 1986
69 Types and Effects for Asymmetric Cryptographic Protocols – Andrew Gordon, A. Jeffrey - 2002
149 A Semantic Model for Authentication Protocols – Thomas Y. C. Woo, Simon S. Lam - 1993