【摘 要】
：
A Function Definition Language (FDL) ispresented. Though designed fordescribing specifications, FDL is also ageneral-purpose functional programminglanguage. It
【机 构】
：
Laboratory of Computer Science
【基金项目】
：
国家自然科学基金;国家高技术研究发展计划(863计划)
论文部分内容阅读
A Function Definition Language (FDL) ispresented. Though designed fordescribing specifications, FDL is also ageneral-purpose functional programminglanguage. It uses context-freelanguage as data type, supports pattern matchingdefinition offunctions, of fers several function definition forms, and isexecutable.It is shown that FDL has strong expressiveness, is easy to useanddescribes algorithms concisely and naturally. An interpreter of FDL isintroduced.Experiments and discussion are included.
其他文献
目的:探讨原位保脾术治疗脾外伤的术式及其适应证选择.方法:回顾性分析2001年12月～2004年6月间保脾术治疗62例脾外伤的临床资料及其治疗结果.结果:62例均经B超或CT检查明确诊
目的探讨官腔镜技术在子宫内膜息肉中诊断价值及治疗作用.方法对30例子宫内膜息肉患者进行宫腔镜检查及治疗.结果在宫腔镜下诊断子宫内膜息肉30例均与病理诊断相符合,符合率
目的探讨暴发流行后的伤寒发病特点.方法随机抽取散发期普通型病历40份及流行期普通型病历56份,回顾性比较伤寒流行后散发期与流行期伤寒的发病类型和临床征象.结果散发期普
目的：探究手术期间行低体温护理的临床效果，并总结护理体会。方法：选取我院2011年4月~2013年9月收治的行择期全麻开腹手术的病人80例，根据护理对策不同将其分为对照组和干预组，对
目的：探讨并分析护理干预对患者褥疮预防的影响。方法：选取2012年1月至2014年10月于我院就诊的100例偏瘫外伤致瘫褥疮患者为研究对象，随机分为实验组和对照组，各50例，实验组患者采
临床护理路径是护理人员针对某一单病种的诊断治疗，康复，和护理制定的诊疗标准化模式。是一个有着严格的工作程序，有准确的时间要求的规范化的护理照顾计划。是流程管理方法在单
目的：：对健康教育干预在预防接种护理中的作用与效果进行探讨与研究。方法：随机抽取2014年5月-2014年8月在本辖区预防接种单位进行预防接种的儿童300例，将儿童随机分为两组，各150
机电设备安装T程,监理管理工作的好坏直接关系到机电建设工程的投入产出及工程质量.就机电设备安装工程监理目标控制的工作展开探讨,提出机电设备安装工程监理的工作要点.
目的：探讨在普外科重症胰腺炎患者临床护理当中，人性化护理的应用效果，为普外科重症胰腺炎患者临床有效护理提供重要依据。方法：选取2010年1月至2015年2月我院收治的普外科重症胰
This article discusses the developing process of theversion sequences of specifications and the formal expressions ofvarious reconstructions including the expan