12.33 一個程序的 ``合法", ``有效" 或 ``符合" 到底是什麼意思？

簡單地說, 標準談到了三種符合: 符合程序、嚴格符合程序和符合實現。

``符合程序" 是可以由符合實現接受的程序。

``嚴格符合程序" 是完全按照標準規定使用語言, 不依賴任何實現定義、 未確定或未定義功能的程序。

``符合實現" 是按標準聲稱的實現的程序。 參考資料: [ISO, Sec.]; [Rationale, Sec. 1.7]。