词汇 | example_english_formal-description |
释义 | formal descriptioncollocation in Englishmeanings of formaland descriptionThese words are often used together. Click on the links below to explore the meanings. Or, see other collocations with description. formal adjective uk /ˈfɔː.məl/ us /ˈfɔːr.məl/ public ... See more at formal description noun[C or U] uk /dɪˈskrɪp.ʃən/ us /dɪˈskrɪp.ʃən/ something that tells you what something or someone ... See more at description Examples of formal descriptionThese 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. Given the title of the book, a more formaldescription of the tree would not have been out of place. Here is the formaldescription for rigour's sake. In this section and the next, we turn our attention to providing a more formaldescription of the underlying type system. From the operational semantics, a formaldescription of the monitor, and a program, they derive an instrumented executable file that performs the specified monitoring activity. Then our goal is now to get a formaldescription of the term q*. We provide a unifying formaldescription of animals' performances and examine the optimality of their decisional strategies. We give below a formaldescription of the algorithms we consider. Rather, they maintain, he was after a formaldescription of behavior. Often, the issue is excluded from the formaldescription and a convenient assumption is made. We start with a formaldescription of a network of active nodes. Secondly it provides a sense of context which assists a reader in correctly interpreting the consequences of a given formaldescription. The point of departure is graph reduction, and a solid operational understanding of lazy languages, rather than a formaldescription. To understand these differences we turn to a formaldescription. For a formaldescription of the algorithm and a correctness proof see section 4.4.5 where a more general inclusion check algorithm is presented. For a formaldescription of the semi-autonomous monitoring, see ref. 17. The scenario constitutes the technical-level input, and the task specification is a formal description of the criteria imposed upon the model to be composed. Given the formaldescription of our source language, we may express correctness of source-to-source transformations via operational equivalence. Section 3 presents a formaldescription of our abstract machine, and a compiler from the object calculus to instructions for the abstract machine. 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. Want to learn more? Go to the definition of formal Go to the definition of description See other collocations with description |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。