首页> 中文期刊> 《通化师范学院学报》 >基于类型化理论及其简单类型演算的研究

基于类型化理论及其简单类型演算的研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

主要讨论了类型化理论及其在面向对象语言中的重要作用,对深入理解面向对象语言的重要概念以及开发新一代软件技术具有重要的参考价值.

著录项

来源
《通化师范学院学报》 |2003年第6期|43-46|共4页
作者
潘洪军; 亓常松;
展开▼
作者单位

通化师范学院计算机科学系,吉林通化,134002;

通化师范学院计算机科学系,吉林通化,134002;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
面向对象语言; 软件工程; 类型化理论;

相似文献

中文文献
外文文献
专利

1. 句法演算层级系统与类型化λ-演算的对应关系之探析 [J] . 姚从军 ,李奕丹 . 晋中学院学报 . 2018,第005期
2. 基于类型化Pi-演算的Web服务组合相容性检测 [J] . 刘荣胜 ,黄邵 ,高春鸣 . 计算机工程与应用 . 2007,第007期
3. 探寻中国特色的类型化广播发展之路——类型化广播与品牌定位研讨会暨全国第八届城市电台发展协作会演讲辑录：加强类型化广播研究共话广播未来发展 [J] . 杜嗣琨 . 中国广播 . 2009,第003期
4. 类型化π演算的双代数语义 [J] . 黎永基 ,李师贤 ,周晓聪 . 计算机研究与发展 . 2012,第008期
5. 类型化Pi演算在Web服务组合中的应用 [J] . 姜梦稚 . 上海工程技术大学学报 . 2009,第001期
6. 担保类型化的理论基础与范式转换 [C] . 李求轶 . 第二届担保法理论与实践国际研讨会 . 2016
7. 中国广播的类型化之路——以“音乐之声”的类型化探索为例 [A] . 石丛珊 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号