切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
用操作语义解读程序设计语言中的while循环结构
用操作语义解读程序设计语言中的while循环结构
来源 :楚雄师范学院学报 | 被引量 : 0次 | 上传用户:i_love_snj
【摘 要】
:
操作语义通过规定程序设计语言在抽象机器上的执行过程来描述程序设计语言的含义。本文通过实例,运用操作语义对程序设计语言中的while循环结构进行分析解读,帮助学生理解whi
【作 者】
:
叶晓波
王松
支蕾
【机 构】
:
楚雄师范学院计算机信息管理中心,遵义师范学院图书馆
【出 处】
:
楚雄师范学院学报
【发表日期】
:
2010年12期
【关键词】
:
形式语义
操作语义
while循环结构
formal semantics
operational semantics
while loop structur
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
操作语义通过规定程序设计语言在抽象机器上的执行过程来描述程序设计语言的含义。本文通过实例,运用操作语义对程序设计语言中的while循环结构进行分析解读,帮助学生理解while循环的执行步骤和变量的变化过程,提高了教学效果。
其他文献
几个图类的余色数
本文讨论了一种特殊的染色问题——强着色边问题,给出了几个超图类和图类的余色数公式.
期刊
超图
r-致完全超图
r部r-致完全超图
强着色边
余色数
聪明先生
聪明先生绝对是最聪明的人,是这个世界上最最聪明的人,而且,他知道自己是最聪明的。“噢,我非常非常非常聪明了!”他经常这样说。他住在聪明国。你知道,在那里——每个人,每
期刊
中超联赛作为一个产品的定位与产权归属问题的思考
对谢亚龙关于中超联赛的准公共产品的定位及产权归中国足协所有的问题进行分析和讨论,指出中超联赛的产权应属于足协和俱乐部共有,并就建立健全中国足球超级联赛的产权制度提出
期刊
中超联赛
准公共产品
所有权
the Chinese football League
quasi -public product
Property
own
矿用复合材料新产品的开发和发展趋势
期刊
矿用
复合材料
产品开发
随机观测下两面跳的对偶风险模型
主要研究随机观测下对偶风险模型的期望折现罚金函数.首先,利用过程的马尔可夫性得到了期望折现罚金函数所满足的积分微分方程.其次,当罚金函数取不同的值时,得到了破产时的L
期刊
复合POISSON过程
期望折现罚金函数
破产概率
compound Poisson processe
expected discounted penalty
DNA的端粒及其复制
端粒存在于真核生物染色体线形DNA末端,由富合G和T的DNA短重复序列和端粒结合蛋白组成.端粒能保护染色体末端免遭降解和逐次缩短.端粒的复制是由端粒酶控制的.
期刊
端粒
端粒酶
端粒复制
telomere
telomerase
telomere replication
GZ—1型钢丝绳注油机及其在提升机防腐中的应用
期刊
钢丝绳
丝油机
提升机
防腐
防腐新技术在开滦局井筒装备中的应用
期刊
井筒装备
防腐
根据树木年轮分析森林害虫流行爆发的影响
期刊
树木
年轮
测定
害虫
生长
试分析株洲洗煤厂金属腐蚀的原因及应采取的防护措施
期刊
金属
腐蚀
防护
洗煤厂
与本文相关的学术论文