期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

基于时迹的指称语义方法

下载PDF

导出

摘要采用基于时迹的双层指称语义框架讨论过程式语言的形式语义。

作者华凡王岩冰

机构地区山东师范大学信息管理学院

出处《山东师范大学学报（自然科学版）》 CAS 1999年第4期448-450,共3页 Journal of Shandong Normal University(Natural Science)

关键词时迹指标语义法过程式语言形式语义

分类号 TP301.2 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

参考文献1

1陈意云.形式语义学基础[M].北京:中国科学技术大学出版社,1993.1-60.

1赵东范,刘磊,宋力彤.过程式语言部分求值循环展开的有效处理方法[J].计算机研究与发展,2000,37(1):102-108. 被引量：1
2邓志鸿,唐世渭,杨冬青.面向语义集成——本体在Web信息集成中的研究进展[J].计算机应用,2002,22(1):15-17. 被引量：49
3吴华.面向对象编程基本思想[J].山西煤炭管理干部学院学报,2002,15(3):67-68. 被引量：3
4汪海军.探究C语言和Java语言中垃圾回收的不同方式[J].电子技术与软件工程,2016(17):253-253. 被引量：1
5刘磊,郑红军,金成植.过程式语言的动态部分求值技术[J].吉林大学自然科学学报,1995(3):35-39. 被引量：2
6郭德贵,陈慧.过程式语言中递归的消除[J].延边大学学报（自然科学版）,2001,27(4):271-273.
7金成植,柴玉梅.从like-LAMBDA抽象语言到like-PASCAL过程式语言的转换技术[J].计算机学报,1992,15(11):856-864.
8姜延峰,全炳哲,金淳兆.面向对象语言到过程式语言的转换[J].小型微型计算机系统,1991,12(10):20-25. 被引量：1
9王丽娜,郑晓娟,王征海.过程式语言操作语义教学演示系统的设计与实现[J].计算机应用与软件,2010,27(7):187-189.
10吕光楣,刘育刚.Prolog语言的过程式编程问题[J].应用科技,1995,22(4):19-23.

山东师范大学学报（自然科学版）

1999年第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部