(computing theory) The property of an interpreter that is written in the same programming language that it interprets, and that exploits homoiconicity to reuse the existing facilities of the parent interpreter rather than reimplementing them.

(computing, programming) Exhibiting metacircularity.