Полный русско-английский словарь
язык символический
Компьют. typed language
Полный русско-английский словарь
язык сверхвысокого уровня
язык символического программирования