元程式

元程式（meta Program)是可以操作目標程式（Object Program)的程式，它可以構造目標程式，也可以將目標程式段組合成更大的目標程式，還可以觀察目標程式的結構和其他特性。目標程式是以形式語言書寫的一些句子，如常見的高級語言程式語言。
元程式是處理程式的程式，如大家熟悉的編譯器、解釋器、類型檢查器、定理證明器、程式生成器、轉換系統和程式分析器等等。