- /
- /Wp64
- 0-9
- 64-битная ошибка
- 64-битный
- A
- AMD64
- Access Violation
- D
- DWORD_PTR
- E
- EM64T
- I
- IA-64
- ILP32
- ILP32LL (ILP32LL64)
- ILP64
- INT_PTR
- Intel 64
- L
- LLP64 (ILP32LLP64, P64)
- LP64 (I32LP64)
- M
- MPI
- Memsize-тип
- O
- OpenC++
- OpenMP
- U
- UINT_PTR
- V
- VivaCore
- W
- Win32
- Win64
- WoW64
- I
- intptr_t
- P
- ptrdiff_t
- S
- size_t
- U
- uintptr_t
- W
- w64
- X
- x64
- x86
- x86-64
- А
- АСД
- Абстрактное синтаксическое дерево
- Адресная арифметика
- В
- Взаимная блокировка
- Выравнивание данных
- Г
- Голодание
- Грамматический анализ
- Д
- Дерево разбора
- З
- Заброшенная блокировка. Abandoned Lock
- И
- Измерение качества программного обеспечения
- К
- Критическая секция. Critical section
- Л
- Лексический анализ
- М
- Метапрограммирование
- Многопоточность
- Модель данных
- Мютекс. Mutex
- Н
- Неопределённое поведение
- Неявное приведение типов
- О
- ООО "Системы программной верификации"
- Обход синтаксического дерева
- П
- Параллельное программирование
- Потерянный сигнал. Lost Signal
- Поток. Параллельный поток
- Препроцессирование (в языке Си/Си++)
- Приоритет операций в языке Си/Си++
- С
- Семафор. Semaphore
- Синтаксический анализ
- Состояние гонки. Race condition
- Стандарт IEC 61508
- Стандарт кодирования
- Статический анализ кода
- Т
- Точка следования
- Ц
- Цикломатическая сложность
- Я
- Явное приведение типов
© 2008 - 2012, OOO "Program Verification Systems"
