首页> 中文期刊>计算机工程 >函数语言FOPL及其操作语义模型

函数语言FOPL及其操作语义模型

开具论文收录证明 >>

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

页面导航

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

摘要

本文介绍—以ADT为主要构件的函数语言,它是我们设计的函数式及面向对象式合成语言FOPL的函数部分,我们仍以FOPL称之.进而我们描述其操作语义模型:多态λ演算+代数重写系统,并讨论该模型的合流性(CR性)和强范式性(SN性).＊

著录项

来源
《计算机工程》|1993年第4期|1-7|共7页
作者
梅宏; 孙永强;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类理论、方法;
关键词
函数语言; 操作语义模型; FOPL;

相似文献

中文文献
外文文献
专利

1. 一种基于ADT的函数语言及其操作语义模型 [J] . 梅宏 ,孙永强 . 软件学报 . 1994,第006期
2. 函数式面向对象程序设计语言FOPL [J] . 梅宏 ,孙永强 . 计算机学报 . 1995,第004期
3. 函数式面向对象语言FOPL的指称语义 [J] . 梅宏 ,孙永强 . 计算机学报 . 1994,第007期
4. 合成型语言FOPL的语义研究 [J] . 梅宏 ,孙永强 . 电子学报 . 1995,第002期
5. 合成语言FOPL基于方程逻辑的语义 [J] . 梅宏 ,孙永强 . 软件学报 . 1995,第007期
6. 视频语义模型SemTTE及其查询语言VSQL [C] . 王煜 ,周立柱 ,邢春晓 . 第二十三届中国数据库学术会议（NDBC2006） . 2006
7. 动态模糊逻辑程序设计语言的操作语义模型及验证 [A] . 赵小芳 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号