The security of static typing with dynamic linking

This publication has 3 references indexed in Scilit:

• A formal basis for structured multimedia collaborations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Program fragments, linking, and modularization
  Published by Association for Computing Machinery (ACM) ,1997
• A semantics of multiple inheritance
  Information and Computation, 1988