Modeling multiple class loaders by a calculus for dynamic linking

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2004, Pages 1281-1288

  Fagorzi, Sonia ^a   Zucca, Elena ^a   Ancona, Davide ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

Dynamic linking; Java; Multiple loaders

Indexed keywords

COMPUTER PROGRAM LISTINGS; COMPUTER SCIENCE; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; SEMANTICS; SYNTACTICS;

CLASS LOADERS; CONFIGURATION LANGUAGE; DYNAMIC LINKING; MULTIPLE LOADERS;

SOFTWARE ENGINEERING;

EID: 2442543531     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/967900.968161     Document Type: Conference Paper

References (10)

1. D. Ancona, S. Fagorzi, and E. Zucca. A calculus for dynamic linking. In C. Blundo and C. Laneve, editors, Italian Conf. on Theoretical Computer Science 2003, number 2841 in Lecture Notes in Computer Science, pages 284-301, 2003.
2. D. Ancona, G. Lagorio, and E. Zucca. A core calculus for Java exceptions. In ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001), SIGPLAN Notices. ACM Press, October 2001.
3. D. Ancona and E. Zucca. A. calculus of module systems. Journ. of Functional Programming, 12(2):91-132, 2002.
4. L. Cardelli, Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266-277. ACM Press, 1997.
5. S. Drossopoulou. Towards an abstract model of Java dynamic linking and verification. In R. Harper, editor, TIC'00 - Third Workshop on Types in Compilation (Selected Papers), volume 2071 of Lecture Notes in Computer Science, pages 53-84. Springer, 2001.
6. A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1999, pages 132-146, November 1999.
7. S. Liang and G. Bracha. Dynamic class loading in the Java Virtual Machine. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1998, volume 33(10) of SIGPLAN Notices, pages 36-44. ACM Press, October 1998.
8. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. The Java Series. Addison-Wesley, Second edition, 1999.
9. Z. Qian, A. Goldberg, and A. Coglio. A formal specification of Java class loading. In A CM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2000), volume 35(10) of SIGPLAN Notices, pages 325-336. ACM Press, October 2000.
10. A. Tozawa and M. Hagiya. Formalization and analysis of class loading in Java. Higher-Order and Symbolic Computation, 15:7-55, March 2002.