9.01.2023 |
0:15:38 |
progr. |
object in a storage pool |
объект в пуле хранения данных (wikibooks.org) |
9.01.2023 |
0:14:52 |
progr. |
library-level object |
объект библиотечного уровня (статический объект wikibooks.org) |
9.01.2023 |
0:12:28 |
progr. |
pool access |
ссылка на объект в пуле хранения данных (в языке программирования Ada 2022) |
9.01.2023 |
0:09:13 |
progr. |
pool access type |
тип ссылок на объекты в пуле хранения данных (A pool access type handles accesses to objects which were created on some specific heap or storage pool as it is called in Ada. wikibooks.org) |
8.01.2023 |
23:58:25 |
comp., MS |
marshalling |
маршализация (microsoft.com) |
8.01.2023 |
23:57:32 |
comp., MS |
structure with a fixed memory layout |
структура с фиксированной схемой расположения в памяти (microsoft.com) |
8.01.2023 |
23:54:25 |
comp., MS |
string terminating in a null reference |
строка, заканчивающаяся пустой ссылкой (microsoft.com) |
8.01.2023 |
23:51:43 |
comp., MS |
non-blittable data type |
побитово некопируемый тип данных (microsoft.com) |
8.01.2023 |
23:51:18 |
comp., MS euph. |
in an unmanaged environment |
в неуправляемом коде (microsoft.com) |
8.01.2023 |
23:50:11 |
comp., MS |
marshalled |
маршализованный (as ... – как ...) |
8.01.2023 |
23:49:12 |
comp., MS |
be marshalled |
маршализоваться (из кн.: Робинсон С. C# для профессионалов, 2003) |
8.01.2023 |
23:46:11 |
comp., MS |
blittable member |
побитно копируемый член (класса microsoft.com) |
8.01.2023 |
23:45:28 |
comp., MS |
array of references to objects |
массив ссылок на объекты (microsoft.com) |
8.01.2023 |
23:44:53 |
comp., MS |
formatted value type |
форматированный значимый тип (microsoft.com) |
8.01.2023 |
23:44:07 |
comp., MS |
formatted type |
форматированный тип (microsoft.com) |
8.01.2023 |
23:41:17 |
comp., MS |
blittable primitive type |
побитно копируемый примитивный тип (microsoft.com) |
8.01.2023 |
23:40:07 |
comp., MS |
non-blittable structure |
побитно некопируемая структура (microsoft.com) |
8.01.2023 |
23:39:35 |
comp., MS |
blittable structure |
побитно копируемая структура |
8.01.2023 |
23:38:54 |
comp., MS |
be returned from platform invoke calls |
возвращаться при вызове неуправляемого кода (microsoft.com) |
8.01.2023 |
23:38:14 |
comp., MS |
platform invoke call |
вызов неуправляемого кода (microsoft.com) |
8.01.2023 |
23:36:45 |
comp., MS |
non-blittable types |
побитно некопируемый тип (microsoft.com) |
8.01.2023 |
23:35:22 |
comp., MS |
interop marshaller |
маршализатор взаимодействия (microsoft.com) |
8.01.2023 |
23:33:27 |
comp., MS |
marshaller |
маршализатор (microsoft.com) |
8.01.2023 |
23:29:19 |
comp., MS |
be contained within a generic class |
содержаться в обобщённом классе (microsoft.com) |
8.01.2023 |
23:28:37 |
comp., MS |
be called from managed code |
вызываться из управляемого кода (microsoft.com) |
8.01.2023 |
23:27:17 |
comp., MS |
unmanaged caller |
неуправляемый инициатор вызова (microsoft.com) |
8.01.2023 |
23:27:17 |
comp., MS |
unmanaged caller |
неуправляемый вызывающий компонент (microsoft.com) |
8.01.2023 |
23:26:21 |
comp., MS |
native method |
неуправляемый метод |
8.01.2023 |
22:53:34 |
progr. |
be initialized with null |
инициализироваться пустой ссылкой (wikibooks.org) |
8.01.2023 |
22:47:50 |
progr. |
be in memory |
находиться в оперативной памяти (в отличие от регистра процессора wikibooks.org) |
8.01.2023 |
22:46:14 |
gen. |
serve as a hint |
служить подсказкой (to ... – для ...) |
8.01.2023 |
22:45:25 |
progr. |
reside inside a register |
располагаться в регистре процессора (wikibooks.org) |
8.01.2023 |
22:44:38 |
progr. |
take an access from a variable |
получить ссылку на переменную (wikibooks.org) |
8.01.2023 |
22:31:11 |
progr. context. |
stack object |
объект в стеке (wikibooks.org) |
8.01.2023 |
22:28:08 |
progr. |
pool-specific |
в определённом пуле хранения данных (wikibooks.org) |
8.01.2023 |
22:25:25 |
progr. |
access-to-variable type |
тип ссылок на переменные (adacore.com) |
8.01.2023 |
22:24:51 |
progr. |
access-to-object type |
тип ссылок на объекты (adacore.com) |
8.01.2023 |
22:23:29 |
progr. |
object declaration with an address clause |
объявление объекта со спецификатором адреса (adacore.com) |
8.01.2023 |
22:21:14 |
progr. |
non-scalar type |
нескалярный тип (adacore.com) |
8.01.2023 |
22:18:31 |
progr. |
unchecked conversion |
непроверяемое преобразование (типа adacore.com) |
8.01.2023 |
22:16:00 |
progr. |
unchecked |
непроверяемый |
8.01.2023 |
22:13:20 |
progr. |
invalid |
недопустимый |
8.01.2023 |
22:11:40 |
progr. |
statically known object |
статически известный объект (adacore.com) |
8.01.2023 |
22:09:34 |
progr. |
data initialization policy |
политика инициализации данных (adacore.com) |
8.01.2023 |
21:26:07 |
progr. |
clause |
спецификатор (representation clause — спецификатор представления adacore.com) |
8.01.2023 |
21:18:50 |
softw. |
formal verification technology |
технология формальной верификации (adacore.com) |
8.01.2023 |
21:18:17 |
IT |
analysis of generics |
анализ обобщённого кода (adacore.com) |
8.01.2023 |
21:17:35 |
IT |
generic subprogram parameter |
обобщённый параметр подпрограммы (adacore.com) |
8.01.2023 |
21:15:28 |
IT |
nonreturning subprogram |
подпрограмма, не возвращающая управление (adacore.com) |
8.01.2023 |
21:12:44 |
progr. |
nonreturning |
не возвращающий управление |
8.01.2023 |
21:12:03 |
progr. |
nonreturning |
без возврата управления |
8.01.2023 |
21:11:28 |
gen. |
nonreturning |
невозвратный |
8.01.2023 |
21:09:40 |
gen. |
a lot of manual work |
большой объём ручной работы |
8.01.2023 |
21:07:30 |
gen. |
give raise to |
порождать (что-л.: Exception handling gives raise to numerous interprocedural control-flow paths. — Обработка исключений порождает множество межпроцедурных путей потока управления. adacore.com) |
8.01.2023 |
21:03:31 |
progr. |
interprocedural control-flow path |
межпроцедурный путь потока управления (Exception handling gives raise to numerous interprocedural control-flow paths. adacore.com) |
8.01.2023 |
19:09:58 |
progr. |
formal verification of implicit calls |
формальная верификация неявных вызовов (adacore.com) |
8.01.2023 |
19:04:50 |
progr. |
aliasing of names |
назначение псевдонимов (adacore.com) |
8.01.2023 |
19:04:50 |
progr. |
aliasing of names |
использование псевдонимов (adacore.com) |
8.01.2023 |
19:02:53 |
progr. |
non-deterministic evaluation |
недетерминированное вычисление (adacore.com) |
8.01.2023 |
19:02:21 |
progr. |
function with side-effects |
функция с побочными эффектами (adacore.com) |
8.01.2023 |
19:01:42 |
progr. |
be free of side-effects |
не иметь побочных эффектов (All expressions, including function calls, are to be free of side-effects. adacore.com) |
8.01.2023 |
18:59:15 |
progr. |
memory ownership |
владение памятью (adacore.com) |
8.01.2023 |
18:56:42 |
progr. |
access object |
объект ссылочного типа (adacore.com) |
8.01.2023 |
18:56:42 |
progr. |
access object |
ссылочный объект (adacore.com) |
8.01.2023 |
18:55:57 |
progr. |
ownership policy |
политика владения (Uses of access types and allocators must follow an ownership policy, so that only one access object has read-write permission to some allocated memory at any given time, or only read-only permission for that allocated memory is granted to possibly multiple access objects. adacore.com) |
8.01.2023 |
18:51:52 |
hist. |
Jorvik |
Йорвик (wikipedia.org) |
8.01.2023 |
18:48:45 |
progr. |
code sharing features |
средства совместного использования кода (e.g., generics, expression functions adacore.com) |
8.01.2023 |
18:46:32 |
progr. |
discriminant record |
параметризованная запись (adacore.com) |
8.01.2023 |
18:46:32 |
progr. |
discriminant record |
запись с параметром (adacore.com) |
8.01.2023 |
3:13:01 |
intell. |
shadow war |
война на невидимом фронте (coasttocoastam.com) |
8.01.2023 |
2:47:28 |
progr. |
library-level package |
пакет библиотечного уровня (adacore.com) |
8.01.2023 |
2:39:56 |
progr. |
package elaboration code |
код предвыполнения пакета (adacore.com) |
8.01.2023 |
2:30:38 |
IT |
clobber |
уничтожить |
8.01.2023 |
2:30:38 |
IT |
clobber |
разрушить |
8.01.2023 |
2:18:53 |
progr. |
low-criticality embedded system |
малокритичная встроенная система (adacore.com) |
8.01.2023 |
2:07:33 |
progr. |
modular integer type |
беззнаковый целочисленный тип (в языке программирования Ada 2022) |
8.01.2023 |
2:03:20 |
progr. |
target hardware |
целевая аппаратное обеспечение (adacore.com) |
8.01.2023 |
1:25:27 |
progr. |
unspecified behavior |
неуточняемое поведение (ситуация, когда спецификация языка программирования разрешает не любое поведение, а только ограниченный диапазон вариантов реализации) |
8.01.2023 |
1:15:10 |
IT |
pragma |
специализированная директива (компилятору) |
8.01.2023 |
1:00:22 |
IT hist. |
six-bit byte |
шестибитный байт (В ранних компьютерах с шестибитным байтом встречалась восьмеричная система счисления.) |
8.01.2023 |
0:54:41 |
comp.graph. |
graphical visualization tool |
инструмент графической визуализации |
8.01.2023 |
0:53:15 |
progr. |
baremetal |
низкоуровневый (low-level) |
8.01.2023 |
0:44:28 |
progr. |
interfacing capabilities |
средства взаимодействия (adacore.com) |
8.01.2023 |
0:44:28 |
progr. |
interfacing capabilities |
средства сопряжения (adacore.com) |
8.01.2023 |
0:44:28 |
progr. |
interfacing capabilities |
средства интеграции (adacore.com) |
8.01.2023 |
0:40:14 |
math. |
high-fidelity simulation |
моделирование с высокой точностью |
8.01.2023 |
0:36:56 |
progr. |
embedded systems programming |
программирование встроенных систем (adacore.com) |
8.01.2023 |
0:28:23 |
progr. |
predefined integer type |
предопределённый целочисленный тип |
8.01.2023 |
0:17:05 |
progr. |
extended precision floating point type |
тип повышенной точности с плавающей запятой |
7.01.2023 |
23:34:18 |
progr. |
toolchain for cross compilation to an embedded platform |
набор инструментов для компиляции в машинный код встроенной платформы (adacore.com) |
7.01.2023 |
23:33:15 |
progr. |
toolchain for native compilation |
набор инструментов для компиляции в машинный код (adacore.com) |
7.01.2023 |
18:42:12 |
progr. |
cross compilation to an embedded platform |
компиляция в машинный код встроенной платформы (adacore.com) |
7.01.2023 |
18:39:47 |
progr. |
memory-limited |
с минимальным объёмом памяти (adacore.com) |
7.01.2023 |
18:37:46 |
progr. |
native compilation |
компиляция в машинный код (adacore.com) |
7.01.2023 |
18:36:38 |
softw. |
tool for formal program verification |
инструмент формальной верификации программ (adacore.com) |
7.01.2023 |
18:36:02 |
softw. |
testing harness generation |
генерация средств тестирования (adacore.com) |
7.01.2023 |
18:35:10 |
softw. |
unit testing harness generation |
генерация средств модульного тестирования (adacore.com) |
7.01.2023 |
18:34:05 |
softw. |
unit proof |
модульное доказательство (корректности результатов выполнения кода adacore.com) |
7.01.2023 |
18:32:02 |
softw. |
server-class high-assurance system |
система серверного класса с высоким уровнем гарантий безопасности (adacore.com) |
7.01.2023 |
18:30:12 |
softw. |
formal verification of an implementation against a specification |
формальная верификация реализации на соответствие спецификации (adacore.com) |