网站首页  词典首页

请输入您要查询的英文单词:

 

单词 metalanguage
释义

Examplesofmetalanguage

metalanguage
The expressive power of such ametalanguagewould allow the representation and the manipulation of proof objects, via the usual "propositionsas-types" paradigm.
From theCambridge English Corpus
Another direction is to extend the model in order to handle more expressive metalanguages.
From theCambridge English Corpus
For example, capture-avoiding substitution is merely function application in themetalanguage.
From theCambridge English Corpus
It is a comparatively large semanticmetalanguagewith notation for all the fundamental computational concepts found in programming languages.
From theCambridge English Corpus
The advanced learners are shown to usemetalanguagemuch more often than their intermediate counterparts, particularly in lexical episodes.
From theCambridge English Corpus
By expressing source programs in thismetalanguage, let expressions appear naturally.
From theCambridge English Corpus
In this paper, the meaning of the word aunty is described in the form of a reductive paraphrase using natural semanticmetalanguage.
From theCambridge English Corpus
We use the convention that object language expressions are written in teletype andmetalanguageexpressions in italic.
From theCambridge English Corpus
Anagrams are always indicated as such by use ofmetalanguage, and it is important that the latter blends into the clue as naturally as possible.
From theCambridge English Corpus
Section 3 discusses mapping values back from the object language to themetalanguageand shows how this yields a simple form of metaprogramming.
From theCambridge English Corpus
Scripting languages often have late-binding, runtime types, or reflective operations, which one might expect to be difficult to project back to a statically-typedmetalanguage.
From theCambridge English Corpus
The perceived autonomy, he argues, is to be found in the formalmetalanguage, not in the object of description, natural language.
From theCambridge English Corpus
Put this way, it should be evident that children before they get to school have learned somemetalanguage.
From theCambridge English Corpus
Observe that the symbol '' is also used in themetalanguageto build the standard set-theoretic function space between two sets.
From theCambridge English Corpus
One approach is to define the type theory in ametalanguage.
From theCambridge English Corpus
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
#https://dictionary.cambridge.org//dictionary/english/metalanguage##
随便看

 

英汉词典包含213609条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 1999-2024 qbania.com All Rights Reserved
更新时间:2024/12/27 23:22:08