decorated name

"декорированное" имя (в C++ — генерируемая компилятором строка, содержащая, кроме собственно имени, символы, используемые компилятором или компоновщиком для получения информации о типе)

Источник: Полный англо-русский словарь на Gufo.me