Parallel Three Address Code.
kid is a refinement of p-tac, used as an intermediate language for id.
["P-TAC: A Parallel Intermediate Language", Z. Ariola et al, Fourth Intl Conf Func Prog Langs and Comp Arch, ACM Sept 1989].