收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于多语言范例的“形式语义学”教学辅助系统

金英  郑晓娟  张晶  孙旭东  
【摘要】:针对简单函数式语言、简单过程式语言和简单面向对象式语言等多个程序语言范例,分别定义了它们的操作语义和指称语义,同时设计了一个"形式语义学"教学辅助系统,用于演示不同语言范例程序的基于形式语义定义的可视化解释,该系统使学生可以通过形象生动的动态演示和同步解释,充分理解和掌握程序设计语言的形式语义及其实现.

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 顾君忠;陆大绚;;形式语义学发展简介[J];计算机科学;1984年03期
2 E.A.Ashcroft;W.W.Wadge;陈冬凡;;形式语义学的正确运用[J];计算机科学;1984年03期
3 ;形式语义学引论 指称语义学[J];计算机研究与发展;1985年07期
4 钱树人;程序设计语言的语义理解及语境分析[J];计算机研究与发展;1994年07期
5 马志方,刘大有;相对正确度及其在知识求精中的应用[J];计算机研究与发展;1994年08期
6 陈国勋;不确定程序的公理语义[J];郑州大学学报(自然科学版);1994年01期
7 李师贤,阮文江;Eiffel语言的语义[J];软件学报;1995年01期
8 柴振荣;《编程中的形式化方法及其应用》会议[J];管理科学文摘;1995年06期
9 陈思国,李雄飞,赵启哲,苑森淼;论动态数据结构的程序语义[J];吉林工业大学学报;1995年03期
10 王生原,杨萍;并发进程指称语义的几种基于Trace模型的定义方法[J];兰州大学学报(自然科学版);1996年01期
中国重要会议论文全文数据库 前6条
1 邹崇理;;话语表现理论DRT述评[A];1998年逻辑研究专辑[C];1998年
2 田军营;;神经网络的形式语义研究[A];1996年中国智能自动化学术会议论文集(下册)[C];1996年
3 陈宗明;黄华新;;从符号学看周礼全先生的自然语言逻辑思想[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年
4 高思存;;一个刻画n叉有限树的模态系统及其应用[A];2005年逻辑研究专辑[C];2005年
5 蔡曙山;;20世纪语言哲学和语言逻辑的发展[A];和谐社会:社会公正与风险管理——2005学术前沿论坛论文集(下卷)[C];2005年
6 王栋;盛玉麒;;汉语否定极项(NPI)自动抽取研究[A];中国计算机语言学研究前沿进展(2007-2009)[C];2009年
中国硕士学位论文全文数据库 前4条
1 苗露;专有名词作指称语的语用研究[D];南京师范大学;2003年
2 柴同文;英语中的情态:系统功能视角[D];曲阜师范大学;2003年
3 丁国旺;汉语语篇中人称代词、光杆名词和零代词回指加工的可及性研究[D];华东师范大学;2005年
4 刘丽;溯因推理与语用推理[D];西南师范大学;2005年
中国重要报纸全文数据库 前2条
1 王惠临;意义计算研究的兴起与发展[N];中国社会科学院报;2009年
2 戈莱格·莱斯特尔 墨尔本大学哲学、人类学和社会研究学院,焦兵编译,熊明辉校;《澳洲逻辑学杂志》简介[N];中国社会科学报;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978