论文部分内容阅读
一些面向上下文的编程语言使用结构化的块结构（block．stmctured construct）将方法调用重定向到层中方法．但该结构无法支持层的动态添加与激活，这增加了程序可执行文件的大小．为了解决该问题，提出一种新方法：使用适合性测试支持方法的重定向，并定义一个运行时的适合性测试演算（runtimefitnesstestingcalculusontopoffeatherweightJavacalculus）形式化描述该方法．该演算以FJ演算（featherweightJavacalculus）为核心，通