Большой англо-русский и русско-английский словарь
"декорированное" имя (в C++ - генерируемая компилятором строка, содержащая, кроме собственно имени, символы, используемые компилятором или компоновщиком для получения информации о типе)
«decorated name»
decorated name в энциклопедиях