论文部分内容阅读
文中为算法语言Ｌ定义了动态指称语义，在描述避免了含有函数空间构造运算的递归论域方程，指称语义可以说明Ｌ的一些良好的数学性质，也可以说明指称语义技术可以达以更好的直以性和实用性。
算法语言L的指称定义
【摘 要】
：
文中为算法语言Ｌ定义了动态指称语义，在描述避免了含有函数空间构造运算的递归论域方程，指称语义可以说明Ｌ的一些良好的数学性质，也可以说明指称语义技术可以达以更好的直以性和实
【机 构】
：
上海交通大学计算机系,山东师范大学计算机系
【出 处】
：
计算机研究与发展
【发表日期】
：
1998年3期
其他文献
今天，我和爸爸妈妈去参加了一次婚礼。举办婚礼的酒店人好多呀！但是我一眼就看到了站在门口的新娘和新郎。他们笑意盈盈，端着盘子请客人吃糖果。新娘子真美，她的婚纱长长的，头顶带着头饰，看起来就像《新白娘子传奇》里的白素贞一样美丽。 婚礼开始了，伴随着音乐，新郎和新娘走进了会场，他们看起来特别幸福，手牵着手，脸上带着笑意。参加婚礼的客人们都鼓掌起来，会场里顿时一派喜气。大家都真心祝他们幸福。我想，等我长
传统的小学数学教学手段单一,方法单调。“一块黑板,一支粉笔,一张嘴巴众人听。”偶尔加一些学具,难怪学生学起来有点枯燥无味,影响学生的学习积极性。而今,计算机多媒体教学
随着中国经济的不断发展，人民的收入和财富也越来越多。但如果要问起如何合理地支配自己的财富时，我们就显得比较茫然了。现在国内绝大多数老百姓几乎没有个人理财的概念，或者认
【摘 要】 体育活动因本身所具有的自由性、有趣性、丰富性，深深吸引了幼儿的。但是，胆怯心理会影响幼儿的参与热情。只有克服胆怯心理，才能进一步提高体育活动的有效性。 【关键字】 体育活动；胆怯心理；分析；策略 体育活动的根本目的是促进幼儿身体健康发展，但是健康是指人在身体、心理和社会适应方面的良好状态。所以在体育活动中锻炼动作的技能固然很重要，但是幼儿的内心变化也是需要关注的。特别是当幼儿产生胆
我家养了一只活泼可爱的小狗——宝宝，它一到家，我就喜欢上了这只小狗了。 宝宝有一双水汪汪的大眼睛，白色的毛自然垂下，全身上下，除了灰白色的爪子之外，都是雪白雪白的。它的耳朵很特别，耳根是龙爪型的，十分好看。 宝宝不仅长得漂亮，而且那调皮的样子也很惹人喜欢。它每天早上都要粘着我，哪怕上学也要跟着我。我几次想甩掉它，可就是甩不掉，我骂它，叫它回去，可它就是不听，也不肯走，直到我狠狠地在地上跺跺脚，
期刊
目的:观察盐酸戊乙奎醚与阿托品治疗有机磷农药中毒的效果.方法:以盐酸戊乙奎醚配合碘解磷定治疗42例有机磷农药中毒患者,并与阿托品配合碘解磷定治疗56例有机磷农药中毒患者