论文部分内容阅读
介绍程序控制结构的偏加语义．首先对程序语言的结构（包括顺序、条件、循环等）进行函数化，然后引出程序语义的描述工具——偏加范畴，最后用偏加范畴理论刻划程序的断言语义
程序控制结构的偏加语义
【摘 要】
：
介绍程序控制结构的偏加语义．首先对程序语言的结构（包括顺序、条件、循环等）进行函数化，然后引出程序语义的描述工具——偏加范畴，最后用偏加范畴理论刻划程序的断言语义
【机 构】
：
中山大学计算机科学系
【出 处】
：
中山大学学报论丛
【发表日期】
：
1996年6期
【基金项目】
：
国家自然科学基金资助项目
其他文献
总结“十五”以来福建农林大学学科建设的成绩和经验，分析学科建设存在的问题，结合实际，提出“十一五”期间学科建设的目标和加快学科建设的具体措施。（1）认真做好规划，既要有所突
介绍了医学科技论文英语结构式摘要语言的语态、人称及时态，常用结构或句型，副词与动词的位置关系．全文例句基本取自英美国家原始论文或其摘要，具有较强的实用性
提出了“结合Ｉｎｔｅｒｎｅｔ技术和Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ技术开发ＭＩＳ系统”的观点，并结合“广东工业大学教职工电话号码和Ｅｍａｉｌ地址ＷＷＷ查询子系统”，讲述了Ｏｒａｃｌｅ７如何通过ＯｒａｃｌｅＷｅｂｓｅｒｖｅｒ２．０在Ｉｎｔｅｒｎｅｔ上公布和共享数据库信息
先是整治互联网低俗之风，后是打击手机淫秽色情，接二连三的涉黄事件不仅为我们敲响了警钟，更引发了业界对互联网发展的深度思考。其中互联网的种种“颜色”引起了记者的兴趣。
流通产业的＂公益性＂泛指从其功能出发的,与流通产业公共职能、社会效益、环境效益相关的事物。流通产业的公益性功能包括保障生活必需品、应急储备、吸纳就业、流通安全、可再
海峡西岸农业经济区是海峡西岸经济区的一个重要组成部分.本文提出了建设海峡西岸农业经济区的具体设想,即具备区域农产品生产总体发展格局是科学的,区域农产品生产有区域范
也谈文学翻译中译者的自我曾春莲文学翻译是一普遍的人类活动，也是翻译评论界一古老的话题。它是以人为主体的异语交际活动，牵涉了一个极其复杂的关系网络———客观世界，作者，原
根据《耕作学》课程的性质、作用和所面临的问题，制定了课程改革的指导思想，并以此为依据在教学内容、方法、手段和考核方式等方面进行了深入改革，通过对《耕作学》课程及相关教
在深入了解了永安市八一村乡村旅游的发展条件的基础上，以建设社会主义新农村为契机，以当代乡村旅游发展理论为指导，提出了八一村发展乡村旅游的基本思路：明确发展总体思路与布局