In this paper, a typed abstract language called LAMBDA-like is defined. Using it as the model, a transformation technique from the functional abstract language based on λ-calculus to a imperative language caled PASCAL-like is presented.

  • 本文定义一类型化的抽象语言like-LAMBDA,并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术。
  • 来源:互联网摘选更新时间:2026-07-01 18:16:10

  • 重点词汇
  • abstractadj.抽象的,理论上的;难解的;抽象派的;茫然的;
  • inprep. 在里面;在(某范围或空间内的)某一点;在(某物的形体或范围)中;在…内;在…中;进入
  • aart. 一(个);每一(个);任一(个),用于辅音音素开头的单词前
  • transformationn.变化;<核>转换;<语>转换;<电>变换;
  • usingv.使用( use的现在分词 );利用;耗费;吸(毒);
  • calledv.叫( call的过去式和过去分词 );通电话;认为;估计;
  • papern.纸;报纸;材料;壁纸;论文;试卷;文件;
  • based on基于;以……为基础
  • modeln.模型;模特儿;模式;典型;
  • 相关例句
1、

With the Reverse Application of CP, the task-based oral instruction makes the abstract language principles interesting and vivid. Thus the language teaching is carried out within the communicative context and the students' communication competence is also promoted.

在任务式口语教学中融入合作原则的反应用练习,旨在将较抽象的语言规则现象通过有趣生动的任务训练来加以体现,使语言教学通过交际环境来完成,最终促进学生交际能力的提高。

互联网摘选

2、

Mathematical logic is a new applied subject which is introduced into apph'ed mathematics as a symbol system to study the formal structures and laws of abstract language. It requires students of ability in abstract thinking and mathematical inference.

数理逻辑是应用数学方法引进一套符号系统来研究抽象思维的形式结构和规律的一门年轻的应用学科,它要求学生要具有高度的抽象思维能力和严谨的数学推理功底。

互联网摘选

3、

In narrative language, the use of a large number of abstract language, throughout the narrative language," tedious and complicated" explanation of language as "everlasting" highly distinctive language art form.

在叙事语言方面,大量运用的抽象化语言、贯穿全篇的叙述性语言、啰嗦繁复的解说性语言成为《长恨歌》极富特色的语言艺术形式。

互联网摘选

4、

Script is a high level abstract language which can be edited and run, all technologies related with the script are called script technology.

脚本是一种通常可以编辑和运行、具有极高抽象级别的编程语言,而脚本技术就是与此相关的技术的总称。

互联网摘选

5、

In general, WSDL provides an abstract language for defining the published operations of a service with their respective parameters and data types.

通常,WSDL提供一个抽象的语言以利用各自的参数和数据类型来定义被发布的操作。

互联网摘选

6、

In another country I often avoid abstract language when talking to other academics and try not to accent every word.

在另外一个国家,与其他大学教师交谈时我通常不使用抽象的语言,并且尽量不重读每个词。

互联网摘选

7、

In essence, the philosophy probes the fundamental spirits and ideas of law in illegal abstract language.

哲学实质上是以非法学的抽象思辨语言在探寻着法的根本精神和理念。

互联网摘选

8、

Geometry abstract language and modern fresco

几何抽象形态语言与当代壁画

互联网摘选

9、

Finally that the embodiment oil paintings in Xinjiang national minority theme development need seek space in abstract language.

最后提出具象油画在新疆少数民族题材发展中有待于在抽象性语言中寻找空间。

互联网摘选

10、

Abstract Language with Artistic Figure

抽象化的语言艺术化的形象

互联网摘选

11、

Symbol as compact abstract language is very important for design, and necessary for product molding design.

符号作为简洁而抽象的语言对设计起着极其重要的作用,也是产品造型设计中不可或缺的语言。

互联网摘选

12、

Western Modern Art Sculpture in the Performance of Abstract Language

西方现代艺术中抽象雕塑的表现语言

互联网摘选

13、

EGL also features a built-in interpretive debugger that enables developers writing code at the abstract language level to perform source-level debugging.

EGL还有一个内嵌的解释调试器,它能够让用抽象语言层撰写代码的开发人员执行源代码层的调试。

互联网摘选

14、

A technique for transforming Lambda-like abstract language into Pascal-like imperative language

从like-LAMBDA抽象语言到like-PASCAL过程式语言的转换技术

互联网摘选

15、

We integrate template method with translating method of UML to ACME, and this integrated method acts as abstract method in middle stage, method of UML to XML acts as final translating result.

把UML到ACME的转换结合模板方法,放在中间阶段作为抽象方法来描述,UML到XML的转换作为最终的转换结果,进行优化组合,达到相得益彰的目的。

互联网摘选

16、

On this basis papers propose the framework of geological environment ontology. establish the meta-ontology of geological environment using embedded abstract method and analyze attributes, relationships description and instantiation separately.

从而提出了地质环境本体的体系框架,并逐层抽象建立地质环境的元本体,分别进行了属性、关系描述和实例化分析;

互联网摘选

17、

An abstract method is proposed in this thesis to express the form of the information grid object. Its format is: OLC { Operator, Data Schema, Operation, Context}.

本文提出了一种形式化表示方法,用来刻画客体生命周期各个阶段的内部、外部行为和特点,其形式为:OLC{Operator,Data Schema,Operation,Context}。

互联网摘选

18、

A new object abstract method based on the general templates and the convergent events is presented. An efficient solution of semantic modelling of a complex system is given to show the application of method.

提出了基于通用模板和触发事件分集的对象抽象方法,指出了复杂系统建立语义模型的有效解决方案,并以实例进行说明。

互联网摘选

19、

The simplest way to create a command is to extend the RecordingCommand class and implement the doExecute() abstract method to perform the required model changes.

最简单的方式,是扩展RecordingCommand类,并执行doExecute()抽象方法,来完成需要的模型改变。

互联网摘选

20、

Creating an abstract method allows you to put a method in an interface without being forced to provide a possibly meaningless body of code for that method.

创建一个抽象方法允许你去把一个方法放到一个接口中而不需要去强制提供可能没有任何意义的实现。

互联网摘选

  • 今日热词
  • 热门搜索

英语网英语词典(dict.25820.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈