Towards Modular Reasoning for Context-Oriented Programs

Towards Modular Reasoning for Context-Oriented Programs
复制标题

面向上下文的程序的模块化推理

DOI:
--
复制
发表时间:
2016
期刊:
影响因子:
--
通讯作者:
Tomoyuki Aotani and Gary Leavens
Tomoyuki Aotani and Gary Leavens
中科院分区:
--
文献类型:
--
作者:
Takehide Soh;Daniel Le Berre;Mutsunori Banbara;Naoyuki Tamura;Tomoyuki Aotani and Gary Leavens

文献摘要

参考文献

被引文献

相似文献

DOI: 10.1007/bfb0053381
发表时间: 1997-01-01
期刊: ECOOP'97: OBJECT-ORIENTED PROGRAMMING
影响因子: --
作者:
Kiczales, G;Lamping, J;Irwin, J
通讯作者: Irwin, J
使用环境对象系统进行面向上下文的编程
DOI: 10.3217/jucs-014-20-3307
发表时间: 2008
期刊: J. Univers. Comput. Sci.
影响因子: --
作者:
Sebastián González;Kim Mens;A. Cádiz
通讯作者: A. Cádiz
行为子类型、规范继承和模块化推理
DOI: --
发表时间: 2015
影响因子: 1.3
作者:
G. Leavens;D. Naumann
通讯作者: D. Naumann
面向上下文的编程中特定于事件的软件组合
DOI: --
发表时间: 2010
期刊: Proceedings of the Conference on Software Composition (Lecture Notes in Computer Science)
影响因子: --
作者:
Malte Appeltauer;Robert Hirschfeld;Hidehiko Masuhara;Michael Haupt;Kazunori
通讯作者: Kazunori
面向上下文的编程:超越层
DOI: 10.1145/1352678.1352688
发表时间: 2007
期刊: Companion Proceedings of the 15th International Conference on Modularity
影响因子: --
作者:
M. V. Löwis;M. Denker;Oscar Nierstrasz
通讯作者: Oscar Nierstrasz