论文部分内容阅读
本文给出了一个对象模型用以描述类ＰＡＳＣＡＬ过程设计语言的静态语义（语义对象，语义依赖），讨论了基于该模型的增量静态语义分析的过程，动作，并发机制与实现手段，在文章的最后部分对模型扩充讨论了在多用户，分布式环境中的增量语义分析，文中的模型可稍加扩充以适应一般的高级程序语言。
增量静态语义分析的一个对象模型
【摘 要】
：
本文给出了一个对象模型用以描述类ＰＡＳＣＡＬ过程设计语言的静态语义（语义对象，语义依赖），讨论了基于该模型的增量静态语义分析的过程，动作，并发机制与实现手段，在文章的最后部分对模型扩充讨
【机 构】
：
复旦大学计算机科学系
【出 处】
：
软件学报
【发表日期】
：
1994年9期
其他文献
用ＲＴ－ＰＣＲ技术从健康人外周血单核细胞的总ＲＮＡ中扩增出编码白细胞介素１８的全长ｃＤＮＡ，并将此基因定向克隆入真核表达质粒载体ｐｃＤＮＡ３中，通过对转化子的筛选得到了带有ＩＬ－１８插入片段的阳性克隆，经酶切分析及核苷
化脓性胸膜炎由于脓液黏稠不易引流,易形成包裹性积液,尤其是多房性包裹性积液,影响治疗效果,延长病程,继而造成胸膜粘连肥厚及胸廓塌陷,影响肺功能,部分需要外科手术治疗。
Ｓｉｄｅｌ系统是运行在ＳＵＮ工作站网络上的一组实用程序，利用空闲的处理机资源进行大粒度的并行计算，同其它远程执行设备相比，它能支持程序内部并行和嵌套的远程执行，允许一个服务员机接受多个
本文针对偏序集任务的调度问题。提出一种基于时区与时区估计的层次调度模型，该模型与界定搜索方法有机结合，使得本文给出的调度算法具有搜索空间小，求解速度快的优点。
循环展开是过程式语言部分求值中的难题之一，本文提出一种基于信息流分析的部分求值技术，解决了部分求值中循环展开问题，本文利用这一技术，实现了一个过程式语言的部分求值器。
哺乳动物卵泡卵母细胞发生的研究一直是发育生物学研究的重点之一。简要叙述了哺乳动物卵泡卵母细胞发生的一般过程，重点分析了原始生殖细胞向卵母细胞分化过程中gdf9、c-kti
ＸＹＺ系统是一个ＣＡＳＥ工具系统，它的核心是一个时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／Ｅ有一基本的表示状态转换的低级形式ＸＹＺ／ＢＥ（或用于表示并发的ＸＹＺ／ＣＥ）及一个结构化的高级形式ＸＹＺ／ＳＥ。它们均有其相应的图形表示，ＸＹＺ／ＣＦＣ与ＸＹＺ／ＰＡＤ是分别以ＸＹＺ／ＢＥ（或ＸＹＺ／ＣＥ）及ＸＹＺ／ＳＥ用逐步
本文提出了在演绎数据库系统研究中的一种新的关系叫虚—实关系．虚—实关系集成了实关系与虚关系的一些优点，克服了它们的一些缺点，在演绎数据库系统中它具有特别的性质．将虚—实关系引入演绎数据库系统后我们可以扩大演绎数据库系统的功能．目前，虚—实关系已在ＳＵＮ—３工作站上的演绎数据库系统ＵＮＩＦＹ中实现并正在用于ＣＡＤ图形领域中．
在体外细胞培养系统和裸鼠动物体内,观察了人肝细胞靶向性脂质体介导的部分硫代型和全部硫代型反义寡核苷酸对乙型肝炎病毒的抑制作用。结果显示,针对HBVe基因翻译起始区的18