元程序（Meta Program)是可以操作目标程序（Object Program)的程序，它可以构造目标程序，也可以将目标程序段组合成更大的目标程序，还可以观察目标程序的结构和其他特性。目标程序是以形式语言书写的一些句子，如常见的高级语言程序语言。

元程序是处理程序的程序，如大家熟悉的编译器、解释器、类型检查器、定理证明器、程序生成器、转换系统和程序分析器等等。