| He is the leader of the CompCert project that develops an optimizing compiler for C (programming language), formally verified in Coq. | Он является руководителем проекта CompCert, который разрабатывает оптимизирующий компилятор для С, формально верифицированный в Coq. |
| However, if the compiler is able to determine that the function call is referentially transparent, it can perform this transformation automatically. | Однако если компилятор может определить, что функция ссылочно прозрачна, то он может выполнить это преобразование автоматически. |
| The DNA origami is a proof that that compiler actually works. | ДНК-оригами является доказательством того, что компилятор на самом деле работает. |
| The C# compiler should be the more suitable tool since it was developed specifically for the.NET framework. | Компилятор С был самым мощным, когда он разрабатывался специально для.NET. |
| The autoconf-generated configure can be slow because it executes programs such as a C compiler many times in order to test whether various libraries, header files, and language features are present. | Средства сборки и скрипт настройки работают, как правило, медленно, потому что вызывают различные программы, например, компилятор С, много раз для проверки наличия различных библиотек, заголовочных файлов, и особенностей языка. |
| The compiler of collections of works of F. Bahuševič "My pipe" (1987), "To whom pipe is obedient" (1990). | Составитель сборников произведений Ф. Богушевича «Моя дудка» (1987), «Кому дудка Покорная» (1990). |
| The use of existing registers and other data sources has made statistical work a complex process in which the compiler of the statistics has to be familiar with the definitions and classifications of the units in various registers and also with the technological approaches used for them. | Использование существующих регистров и других источников данных превращает статистическую работу в сложный процесс, при котором составитель статистики должен быть знаком с определениями и классификациями единиц, содержащихся в различных регистрах, а также с используемыми техническими методами. |
| Ideally, the compiler of the CPI would receive all data in a single, timely delivery, and perform the Tukey algorithm on all of the data, otherwise its performance is impaired by the omission of (valid) data. | В идеале составитель ИПЦ получает все данные одномоментно и своевременно и проводит проверку по алгоритму Туки по всем данным, поскольку в ином случае его результативность ограничивается отсутствием (действительных) данных. |
| The compiler of this version of the Chronicle, manuscript E, called the Peterborough Chronicle, says: No worse deed for the English race was done than this was, since they first sought out the land of Britain. | Составитель этой версии Хроник, называемой «Питерборская хроника», говорит: «С тех пор как англичане пришли на остров Британия, они не совершили деяния, ужаснее этого. |
| The compiler at headquarters who collects the prices checks for completeness and accuracy, for example by comparing with previous prices and pre-published price increases; | а) составитель индекса в центральном аппарате, собирающий цены, проверяет их полноту и точность, например, сопоставляя данные с предыдущими ценами и с заранее опубликованными увеличениями цен; |
| In response, OpenIndiana was modified to be able to compile under the open source GNU Compiler Collection. | В ответ OpenIndiana был изменен, чтобы иметь возможность компилироваться в GNU Compiler Collection с открытым исходным кодом. |
| It will be perfect test for Free Borland C++ Compiler. | Это будет хорошим испытанием для Free Borland C++ Compiler. |
| MPFR is needed to build the GNU Compiler Collection (GCC). | Целью проекта является создание замены GNU Compiler Collection (GCC). |
| The "classic" Open64 branch is the Open Research Compiler (ORC), which produces code only for the Itanium (IA-64), and was funded by Intel. | Классическая ветвь Open64 развивается как Open Research Compiler (ORC) и поддерживает компиляцию только для платформы Itanium (IA-64), этот вариант финансировался Intel. |
| Recent versions of the GNU Compiler Collection (GCC), IBM VisualAge compiler and other compilers provide intrinsics to access VMX/AltiVec instructions directly from C and C++ programs. | Современные версии GCC, IBM Visual Age Compiler предоставляют набор функций для непосредственной работы с инструкциями AltiVec прямо из языка C и C++. |