Towards Modular Reasoning for Context-Oriented Programs
Towards Modular Reasoning for Context-Oriented Programs
复制标题
面向上下文的程序的模块化推理
DOI:
--
复制
发表时间:
2016
期刊:
影响因子:
--
通讯作者:
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
影响因子:
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