论文部分内容阅读
本文定义一类型化的抽象语言like-LAMBDA,并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术.
从like—LAMBDA抽象语言到like—PASCAL过程式语言的转换技术
【摘 要】
：
本文定义一类型化的抽象语言like-LAMBDA,并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术.
【机 构】
：
吉林大学计算机科学系,郑州工学院计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1992年11期
【基金项目】
：
博士点基金
其他文献
1 前言亚太地区的水产养殖业面临许多挑战．饲料是人们关注的重点之一。饲料原料价格上涨．某些原料供应短缺以及质量降低已导致饲料原料市场的动荡和变化不定：植物蛋白原料已不再
本文介绍了笔者设计并实现的一种新型的面向对象的程序设计语言,着重讨论了在设计过程中采用的新的概念,并和其它类似语言作了比较.
概述了我国目前常用的几种保温材料，对保温材料的主要性能进行了分析。展望了保温材料的发展趋势。
本文讨论了在专家系统开发工具OPS5环境中,实现行为功能级逻辑综合系统中的硬件综合方法,以产生进行ASIC芯片版图设计的输入数据。
由京、津、冀、鲁、辽、蒙、晋等七省、市、自治区建材行业协会共同主办的＂2016年度环渤海地区建材行业表彰大会暨新闻发布会＂,11月4日在太原召开。会议表彰了环渤海七省、市、
本试验探讨了商品代黑番鸭日粮适宜的CP水平。试验设计1～30日龄和31～70日龄两独立阶段。1．30日龄日粮ME为11．50MJ儿g，CP水平设21％、18％、15％3种：31～70日龄日粮ME为11．91MJ／kg．CP水平设18％、
本文基于文[1]中的集中式调度策略和分布式调度策略,提出了一个分组调度策略.分组调度策略是将系统内的站点计算机分成若干个组,每组有一个协调员,它负责收集本组成员的状态
1.引言 圆弧及椭圆弧的生成在计算机图形学中及CAD方面都起着很重要的作用,它们是生成许多其它图形的基本的和常用的图形元素,它们的生成算法可分为二类,即点生成算法和线生成算法,前者主要用于光栅扫描显示器,其特点是用离散的光栅点来逼近曲线,主要算法有Bresenham圆生成算法和由M.L.V.Pitteway提出的椭圆生成算