decorated name
"декорированное" имя (в C++ — генерируемая компилятором строка, содержащая, кроме собственно имени, символы, используемые компилятором или компоновщиком для получения информации о типе)
Источник:
Полный англо-русский словарь
на Gufo.me