【摘 要】
：
This paper proposes a metalanguage TrapML for transformational programming, which is designedbased on the analysis of its design principles, structures and fun
【机 构】
：
Computer Science Department. Nanjing University,
【出 处】
：
Journal of Computer Science and Technology
论文部分内容阅读
This paper proposes a metalanguage TrapML for transformational programming, which is designedbased on the analysis of its design principles, structures and functions. It has the facilities to describethe syntax of object languages, the set of transformation rules and strategies. The behaviour of transformationsystems can be conveniently expressed. Both accurate and vague strategies can be written inTrapML. Metaprogram is of higher reliability.
This paper proposes a metalanguage TrapML for transformational programming, which is designed based on the analysis principles of its design principles, structures and functions. It has the facilities to describethe syntax of object languages, the set of transformation rules and strategies. The behavior of transformationsystems can be conveniently expressed. Both accurate and vague strategies can be written inTrapML. Metaprogram is of higher reliability.
其他文献
This paper reports on a pioneer effort for the establishment of a software composite metric withkey capability of distinguishing among different structures. As
介绍了采用PRO/ENGINEER和ADAMS软件进行虚拟样机建模仿真的方法 ,并以ZL5 0行星变速器为例 ,建立了其虚拟样机模型 ,针对仿真结果进行分析。
The method of modeling and s
【摘要】随着现如今教育改革的深入，课改也进入了新的发展阶段，初中物理教学也需要创新与发展，从而适应课改的新需求。因此本文针对初中物流教学在新课改的基本条件下，将首先讲述初中物理的教学现状，其次讨论新课改下面初中物理教学的创新思路，进而满足新课改的更多要求。 【关键词】课改 初中 物理 【中图分类号】G63【文献标识码】A 【文章编号】2095-3089（2017）35-0189-01 1.初
天津市以住房分配货币化为工作重点，加快住房新体制的建设，推动了房地产市场的快速发展。据统计，自1999年7月住房分配货币化政策正式推行以来，到2000年11月，天津市已有80个区局实
今年44岁的张庆梅,在永安有着开车26、行程超过150万公里却从未发生一起交通事故的安全记录。张庆梅于1979年进入当时永安“汽车五团”(闽通长运公司的前身)当驾驶员。刚开始
In this paper we generalize the while-rule in Hoare calculus to an infinite one and then presenta sufficient condition much weaker than the expressiveness for C
由基础课部理论力学教研室研制的“CAl《机械振动》教学软件(振动课件)”项目,于1991年11月16日,通过专家鉴定。该振动课件有概念复习、典型例题、振动实验和自我检测等内容
综合评述微机电系统 (MEMS)技术及发展趋势王亚珍 朱文坚 1 ( 1 0 )……………………………………………………………………广义概念设计的普遍性、内涵及理论基础的探索
日本大金工业株式会社开发出了新型氟材料“Daiel Fluoro TPV”。该材料具有弯曲、扭曲等可动材料所需要的柔软性,同时对于汽车燃料中的碳化氢(HC)等具有低透过性,主要用于汽
Regarding a single-layered PLN network with feedback connections as an associative memorynetwork,the complexity of recognition is discussed.We have the main re