首页> 外文OA文献 >Translucid Contracts for Modular Reasoning about Aspect-oriented Programs

【2h】

Translucid Contracts for Modular Reasoning about Aspect-oriented Programs

机译：关于面向方面程序的模块化推理的半透明合同

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Mehdi Bagherzadeh; Hridesh Rajan; Gary T. Leavens; Sean Mooney;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Aspect-Oriented Programming to Improve Modularity of Object-Oriented Applications [J] . Jose M. Felix, Francisco Ortin Journal of software . 2014,第9期

机译：面向方面的编程，可改善面向对象应用程序的模块化
2. A Review of a Modular Approach of Aspect-Oriented Programming [J] . Vidal Cristian L, Rivero Sabino E, Schmal Rodolfo F, Informacion Tecnologica . 2014,第4期

机译：面向方面编程的模块化方法的回顾
3. Aspect-Oriented Programming to Improve Modularity of Object-Oriented Applications [J] . Jose M. Felix, Francisco Ortin Journal of Computers . 2014,第9期

机译：面向方面的编程，可改善面向对象应用程序的模块化
4. Translucid Contracts for Modular Reasoning about Aspect-oriented Programs [C] . Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, 25th annual ACM conference on object oriented programming, systems, languages and applications 2010 . 2010

机译：关于面向方面程序的模块化推理的半透明合同
5. A design discipline and language features for modular reasoning in aspect-oriented programs. [D] . Clifton, Curtis Charles. 2005

机译：面向方面的程序中用于模块化推理的设计学科和语言功能。
6. OWL Reasoning: Subsumption Test Hardness and Modularity [O] . Nicolas Matentzoglu, Bijan Parsia, Uli Sattler -1

机译：OWL推理：包含测试的硬度和模块性
7. Translucid Contracts: Expressive Specification and Modular Verification for Aspect-Oriented Interfaces [O] . Bagherzadeh, Mehdi, Rajan, Hridesh, Leavens, Gary T., 2010

机译：半透明合约：面向方面的接口的表达规范和模块验证

Translucid Contracts for Modular Reasoning about Aspect-oriented Programs

著录项

引文网络

相似文献

相关主题

期刊订阅