This encoding is also sometimes called, whimsically enough, mangling; the corresponding decoding is sometimes called demangling.