Sophia Drossopoulou. An Abstract Model of Java Dynamic Linking and Loading. In Robert Harper, editor, Proceedings of the Third International Workshop on Types in Compilation (TIC 2000), volume 2071 of LNCS, pages 53--84. SpringerVerlag, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (13 citations) Self-citation (Drossopoulou) (Correct)
No context found.
Sophia Drossopoulou. An Abstract model of Java dynamic Linking and Loading. In Robert Harper, editor, Types in Compilation, Third International Workshop, Revised Selected Papers. Springer, 2001.
Safety in Flexible Dynamic Linking - Buckley, Drossopoulou Self-citation (Drossopoulou) (Correct)
No context found.
Sophia Drossopoulou. An Abstract Model of Java Dynamic Linking and Loading. In Robert Harper, editor, Proceedings of the Third International Workshop on Types in Compilation (TIC 2000), volume 2071 of LNCS, pages 53--84. Springer-Verlag, 2000.
Flexible Bytecode for Linking in .NET - Buckley, Murray, Eisenbach.. (2005) Self-citation (Drossopoulou) (Correct)
No context found.
Sophia Drossopoulou. An Abstract Model of Java Dynamic Linking and Loading. In Robert Harper, editor, Proceedings of the Third International Workshop on Types in Compilation (TIC 2000.
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (13 citations) Self-citation (Drossopoulou) (Correct)
No context found.
Sophia Drossopoulou. An Abstract model of Java dynamic Linking and Loading. In Robert Harper, editor, Types in Compilation, Third International Workshop, Revised Selected Papers. Springer, 2001.
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (13 citations) Self-citation (Drossopoulou) (Correct)
No context found.
Sophia Drossopoulou. An Abstract model of Java dynamic Linking and Loading. In Robert Harper, editor, Types in Compilation, Third International Workshop, Revised Selected Papers. Springer, 2001.
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (13 citations) Self-citation (Drossopoulou) (Correct)
No context found.
Sophia Drossopoulou. An Abstract model of Java dynamic Linking and Loading. In Robert Harper, editor, Types in Compilation, Third International Workshop, Revised Selected Papers. Springer, 2001.
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (13 citations) Self-citation (Drossopoulou) (Correct)
No context found.
Sophia Drossopoulou. An Abstract model of Java dynamic Linking and Loading. In Robert Harper, editor, Types in Compilation, Third International Workshop, Revised Selected Papers. Springer, 2001.
Flexible Dynamic Linking for .NET - Anders Aaltonen Alex (Correct)
No context found.
Sophia Drossopoulou. An Abstract Model of Java Dynamic Linking and Loading. In Robert Harper, editor, Proceedings of the Third International Workshop on Types in Compilation (TIC 2000), volume 2071 of LNCS, pages 53--84. SpringerVerlag, 2000.
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
No context found.
Sohpia Drossopoulou. An abstract model of java dynamic linking and loading. In Proceedings of the 3rd International Workshop on Types in Compilation, Montreal, Canada, September 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC