- абстрактная интерпретация
- мат. abstract interpretation
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ИНТЕРПРЕТАЦИЯ — (от лат. interpretatio истолкование, разъяснение) 1) общенаучный метод с фиксированными правилами перевода формальных символов и понятий на язык содержательного знания; 2) в гуманитарном знании истолкование текстов, смыслополагающая и… … Философская энциклопедия
Оптимизация (вычислительная техника) — Это статья об оптимизации программ и данных на всех этапах программирования. Об оптимизациях, применяемых компиляторами, см.: Оптимизация компилятора. В информатике оптимизацией называется процесс модификации системы для улучшения её… … Википедия
Верификация — Позитивизм … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Верифицируемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
Доказуемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
Оптимизация (компьютер) — Это статья об оптимизации программ и данных на всех этапах программирования. Об оптимизациях, применяемых компиляторами, см.: Оптимизация компилятора. В информатике оптимизацией называется процесс модификации системы для улучшения её… … Википедия
Оптимизация (программирование) — Это статья об оптимизации программ и данных на всех этапах программирования. Об оптимизациях, применяемых компиляторами, см.: Оптимизация компилятора. В информатике оптимизацией называется процесс модификации системы для улучшения её… … Википедия
Оптимизация кода — Это статья об оптимизации программ и данных на всех этапах программирования. Об оптимизациях, применяемых компиляторами, см.: Оптимизация компилятора. В информатике оптимизацией называется процесс модификации системы для улучшения её… … Википедия
Оптимизация ресурсов — Это статья об оптимизации программ и данных на всех этапах программирования. Об оптимизациях, применяемых компиляторами, см.: Оптимизация компилятора. В информатике оптимизацией называется процесс модификации системы для улучшения её… … Википедия
Проверяемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия