UGLY-1 VS THUNDERBOLT CYCLONErotor also spinning rapidly.Approximately ten seconds into the match,Ugly-1 harammed its wedge underneath Thunderbolt Cyclone,then launched its spring-loaded top to send its opponenThe wed...UGLY-1 VS THUNDERBOLT CYCLONErotor also spinning rapidly.Approximately ten seconds into the match,Ugly-1 harammed its wedge underneath Thunderbolt Cyclone,then launched its spring-loaded top to send its opponenThe wedge design proved its worth in the opening bout of the semi-finals of the 2016 featherweight championship in Shanghai,when wedge-shaped bot Ugly-1 went up against Thunderbolt Cyclone.展开更多
针对面向对象软件在动态更新中遇到类型安全问题,定义了一个多版本类的动态更新演算(MCUFJ演算(multi-version class dynamic updamble calculus based on FJ calculus))来描述类动态更新.MCUFJ演算以FJ(featherweight Java)演算为核心...针对面向对象软件在动态更新中遇到类型安全问题,定义了一个多版本类的动态更新演算(MCUFJ演算(multi-version class dynamic updamble calculus based on FJ calculus))来描述类动态更新.MCUFJ演算以FJ(featherweight Java)演算为核心,通过增加update操作表示类的动态更新,运用多版本技术使动态更新可以在保持新旧对象共存的情况下完成,讨论了类的数据域和方法进行增加、删除、修改以及类型变化对程序类型安全性的影响,并且指出MCUFJ上类型安全的动态更新需要满足的约束.定义了类的可动态更新限制,并且证明了在该条件下多版本类的动态更新在类型上的安全性.该演算可以用于指导Java语言和面向对象程序语言的类动态更新.展开更多
Context-awareness is becoming critical for mo- bile and ubiquitous computing, where the application needs dynamically adapt its behavior to its execution environment. Context-oriented programming （COP） languages sup...Context-awareness is becoming critical for mo- bile and ubiquitous computing, where the application needs dynamically adapt its behavior to its execution environment. Context-oriented programming （COP） languages support dy- namic behavior adaptation, however, they do not support dy- namic layer addition. As a result, they provide little support for the runtime adaptation of application behavior in case that unpredictable execution environments are encountered. Furthermore, block-structured constructs for layer activation hardly support fine-grain adaptation and separate changes of contexts and execution of context-specific methods with dif- ficulty. In this paper, we propose a virtual machine （VM）- centric approach to address these issues. It incorporates ob- ject composition and delegation into the VM to implement layer activation, and extends existing VM services to sup- port dynamic layer addition. To ensure that our approach preserves the type safety properties of the program, we de- velop a calculus built on featherweight Java （FJ） to describe the approach, focus on type-checking issues, and prove type soundness of the calculus. We also present the implementa- tion and evaluation of our approach. The evaluation demon- strates that our approach has advantages over the compiler- based approach proposed by JCOP.展开更多
文摘UGLY-1 VS THUNDERBOLT CYCLONErotor also spinning rapidly.Approximately ten seconds into the match,Ugly-1 harammed its wedge underneath Thunderbolt Cyclone,then launched its spring-loaded top to send its opponenThe wedge design proved its worth in the opening bout of the semi-finals of the 2016 featherweight championship in Shanghai,when wedge-shaped bot Ugly-1 went up against Thunderbolt Cyclone.
文摘针对面向对象软件在动态更新中遇到类型安全问题,定义了一个多版本类的动态更新演算(MCUFJ演算(multi-version class dynamic updamble calculus based on FJ calculus))来描述类动态更新.MCUFJ演算以FJ(featherweight Java)演算为核心,通过增加update操作表示类的动态更新,运用多版本技术使动态更新可以在保持新旧对象共存的情况下完成,讨论了类的数据域和方法进行增加、删除、修改以及类型变化对程序类型安全性的影响,并且指出MCUFJ上类型安全的动态更新需要满足的约束.定义了类的可动态更新限制,并且证明了在该条件下多版本类的动态更新在类型上的安全性.该演算可以用于指导Java语言和面向对象程序语言的类动态更新.
文摘Context-awareness is becoming critical for mo- bile and ubiquitous computing, where the application needs dynamically adapt its behavior to its execution environment. Context-oriented programming （COP） languages support dy- namic behavior adaptation, however, they do not support dy- namic layer addition. As a result, they provide little support for the runtime adaptation of application behavior in case that unpredictable execution environments are encountered. Furthermore, block-structured constructs for layer activation hardly support fine-grain adaptation and separate changes of contexts and execution of context-specific methods with dif- ficulty. In this paper, we propose a virtual machine （VM）- centric approach to address these issues. It incorporates ob- ject composition and delegation into the VM to implement layer activation, and extends existing VM services to sup- port dynamic layer addition. To ensure that our approach preserves the type safety properties of the program, we de- velop a calculus built on featherweight Java （FJ） to describe the approach, focus on type-checking issues, and prove type soundness of the calculus. We also present the implementa- tion and evaluation of our approach. The evaluation demon- strates that our approach has advantages over the compiler- based approach proposed by JCOP.
