程序法是指实体法以外，法院或行政机关如何进行各种司法程序或行政程序的法律。