формальная спецификация (языка программирования)

Дата последнего изменения:2016.02.10
Сообщить об ошибке

	формальная спецификация (языка программирования) формализованная спецификация (языка программирования) Имеет то достоинство, что в принципе - и всё чаще на практике - благодаря ей можно автоматизировать реализацию транслятора для данного языка (см. также specification, translator). [Э.М. Пройдаков, Л.А. Теплицкий]
EN
FR