Partial Evaluation and Non-interference for Object Calculi

This publication has 20 references indexed in Scilit:

• Comparing Object Encodings
  Information and Computation, 1999
• The SLam calculus
  Published by Association for Computing Machinery (ACM) ,1998
• Mandatory security and object-oriented systems: A multilevel entity model and its mapping onto a single-level object model
  Theory and Practice of Object Systems, 1998
• A decentralized model for information flow control
  Published by Association for Computing Machinery (ACM) ,1997
• Compilation and equivalence of imperative objects
  Published by Springer Nature ,1997
• An Automatic Program Generator for Multi-Level Specialization
  Higher-Order and Symbolic Computation, 1997
• A Theory of Objects
  Published by Springer Nature ,1996
• Bisimilarity for a first-order calculus of objects with subtyping
  Published by Association for Computing Machinery (ACM) ,1996
• Certification of programs for secure information flow
  Communications of the ACM, 1977
• A lattice model of secure information flow
  Communications of the ACM, 1976