论文部分内容阅读
操作语义通过规定程序设计语言在抽象机器上的执行过程来描述程序设计语言的含义。本文通过实例,运用操作语义对程序设计语言中的while循环结构进行分析解读,帮助学生理解while循环的执行步骤和变量的变化过程,提高了教学效果。
用操作语义解读程序设计语言中的while循环结构
【摘 要】
：
操作语义通过规定程序设计语言在抽象机器上的执行过程来描述程序设计语言的含义。本文通过实例,运用操作语义对程序设计语言中的while循环结构进行分析解读,帮助学生理解whi
【机 构】
：
楚雄师范学院计算机信息管理中心,遵义师范学院图书馆
【出 处】
：
楚雄师范学院学报
【发表日期】
：
2010年12期
其他文献
对谢亚龙关于中超联赛的准公共产品的定位及产权归中国足协所有的问题进行分析和讨论，指出中超联赛的产权应属于足协和俱乐部共有，并就建立健全中国足球超级联赛的产权制度提出
主要研究随机观测下对偶风险模型的期望折现罚金函数.首先,利用过程的马尔可夫性得到了期望折现罚金函数所满足的积分微分方程.其次,当罚金函数取不同的值时,得到了破产时的L
端粒存在于真核生物染色体线形DNA末端,由富合G和T的DNA短重复序列和端粒结合蛋白组成.端粒能保护染色体末端免遭降解和逐次缩短.端粒的复制是由端粒酶控制的.