Confined types

This publication has 19 references indexed in Scilit:

• JFlow
  Published by Association for Computing Machinery (ACM) ,1999
• Making the future safe for the past
  Published by Association for Computing Machinery (ACM) ,1998
• Ownership types for flexible alias protection
  ACM SIGPLAN Notices, 1998
• Confinement properties for programming languages
  ACM SIGACT News, 1998
• Pizza into Java
  Published by Association for Computing Machinery (ACM) ,1997
• Undecidability of static analysis
  ACM Letters on Programming Languages and Systems, 1992
• The Geneva convention on the treatment of object aliasing
  ACM SIGPLAN OOPS Messenger, 1992
• Islands
  ACM SIGPLAN Notices, 1991
• A method for obtaining digital signatures and public-key cryptosystems
  Communications of the ACM, 1978
• A lattice model of secure information flow
  Communications of the ACM, 1976