首页> 外文OA文献 >A Refinement Algebra for Object-Oriented Programming

【2h】

A Refinement Algebra for Object-Oriented Programming

机译：面向对象编程的细化代数

页面导航

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

著录项

作者
Paulo Borba; Augusto Sampaio; Marcio Cornelio;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A weakest precondition semantics for refinement of object-oriented programs [J] . Cavalcanti A., Naumann D.A. IEEE Transactions on Software Engineering . 2000,第8期

机译：用于优化面向对象程序的最弱前提语义
2. ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement [J] . MARC AIGUIER Journal of logic and computation . 2004,第2期

机译：ETOILE规范：具有改进的面向对象的代数形式主义
3. Generalized algebraic data types and object-oriented programming [J] . Kennedy A, Russo CV ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2005,第10期

机译：广义代数数据类型和面向对象的编程
4. A Refinement Algebra for Object-Oriented Programming [C] . Paulo Borba, Augusto Sampaio, Marcio Cornelio 17th European Conference on Object-Oriented Programming ECOOP 2003 Jul 21-25, 2003 Darmstadt, Germany . 2003

机译：面向对象编程的细化代数
5. From object-oriented specification to implementation: A formal refinement methodology. [D] . Yoo, Moonsung. 1996

机译：从面向对象的规范到实现：正式的改进方法。
6. Frequent Statement and Dereference Elimination for Imperative and Object-Oriented Distributed Programs [O] . Mohamed A. El-Zawawy -1

机译：强制性和面向对象的分布式程序的频繁声明和取消引用消除
7. Class refinement and interface refinement in object-oriented programs [O] . Anna Mikhajlova, Emil Sekerinski 1997

机译：面向对象程序中的类细化和接口细化
8. AMR++: Object-oriented design for adaptive mesh refinement [R] . Quinlan, D. 1998

机译：amR ++：面向对象的自适应网格细化设计

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号