A flexible model for dynamic linking in Java and C\#

DOI10.1016/J.TCS.2006.02.021zbMath1171.68419OpenAlexW2082069999MaRDI QIDQ859837

Giovanni Lagorio, Sophia Drossopoulou, Susan Eisenbach

Publication date: 22 January 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.02.021

zbMATH Keywords

typesoperational semanticsloadingJavaC\#code deploymentdynamic linkingjit-compilationverifier

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cites Work

• A calculus of module systems
• Typing a multi-language intermediate code
• Mutatis mutandis
• Foundations of Software Science and Computation Structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A flexible model for dynamic linking in Java and C\#