Computer Security Laboratory (CSL) Concordia Institute for Information Systems Engineering Concordia University Montreal, H3G 1M8, Quebec, Canada;
机译:有状态方面编织的形式语义
机译:一种AspectJ的指向点分析的约束编织方法
机译:AspectJ的声明性,正式和可扩展语法定义
机译:实现AspectJ编织的形式语义
机译:使用证明助手和SMT解算器的边界网关协议的形式语义和可扩展验证。
机译:如何限制和维护用于逐步进行语义命名不足的词汇:形式语义疗法的项目选择原则
机译:基于面向方面的调用图优化aspectJ动态建议编织