论文部分内容阅读
由于函数式程序设计与传统程序设计的风格不同,从而程序的调试和跟踪方法也存在很大的差异。本文着重介绍了函数式程序的调试和跟踪方法,并且介绍了我们在MicroVAX-II 机器上实现的GFP 系统的调试方法及实现技术。
函数式程序的调试及跟踪
【摘 要】
：
由于函数式程序设计与传统程序设计的风格不同,从而程序的调试和跟踪方法也存在很大的差异。本文着重介绍了函数式程序的调试和跟踪方法,并且介绍了我们在MicroVAX-II 机器上实现的GFP 系统的调试方法及实现技术。
【机 构】
：
上海交通大学,上海交通大学
【出 处】
：
计算机应用与软件
【发表日期】
：
1991年04期
其他文献
本文较详细地介绍了计算机辅助教学UNIX和C语言系统。该系统包括通用的课件开发和运行环境，以及辅助教学UNIX和C语言课件包两部分。本文还对面向课件作者的描述语言的设计及课
目的旨在通过回顾性研究卒中后癫痫发作及其复发情况，并分析其可能的影响因素，为临床治疗提供参考。方法将122例卒中后癫痫发作患者分组：单次癫痫发作（随访至少6个月只出现1次癫
目的 评估中国缺血性卒中(IS)或短暂生脑缺血发作(TIA)患者应用抗血栓药物(包括抗血小板药物和抗凝药物)的现况,并分析其影响因素.方法 采用横断面研究方法,调查2006年7月1日
并行处理是使大量处理机尽可能快地执行一个并行程序。如何合理地确定程序的并行粒度是并行处理机系统设计的关键。为了实现DDA 算法的并行处理,本文运用数据流模型表达该算法的计算过程,建立了一种改进的DDA 算法(PDDA),并对其并行性的有效发掘作了研究,提出了一种适宜的粗粒度并行思想,这个思想作为无耦合并行处理系统PACS研究的一部分已经得到验证。
在美国，医疗失误是第八大死因，据估计，每年可导致44000-98000位患者死亡。精确的死亡人数仍不确定，并存在争议，实际人数可能低于或高于上述数字。在美国，估计每年因可预防的用药不
PROLOG是一种逻辑程序设计语言,模块化是软件工程中的一个重要概念。本文介绍了PROLOG系统的模块化设计和实现技术,该系统已在IBM-4361中型机上实现。
图形服务是办公自动化系统所具备的主要功能之一,本文详细介绍了我们设计的一个图形服务站。文中首先从总体上介绍了以DPSS为中心的星型办公自动化信息管理系统,分析了微机同DPSS联机仿真软件,并根据部颁编码标准修改了原解码程序。基于JH3000的基本结构,完成了图形信息管理软件,使它作为该系统的图形服务站。
本文通过对几种函数武操作系统(简称为FCS)模型的分析,并用统一的自动机观点来阐明彼此之间的联系和本质,从而表明,基于自动机风格的FFP 程序设计方法论是FOS 设计的重要策略,将FOS 描述成分层结构化、作用式的自动机网是范畴风格的设计在新一代语言操作系统中的体现。
本文阐述了一个可供实际应用的软件可靠性估测系统SPRS（Software Reliability Prediction System)，简要介绍它的基本设计思想、结构、功能以及使用方法。
脑血管储备(cerebrovascular reserve,CVR)又称脑血流储备、脑血液动力学储备、脑灌注储备、脑循环储备等,是指在生理或病理刺激作用下,脑血管通过小动脉和毛细血管的代偿性