程式法是什麼

程式法是規定和保證權利和職權得以實現或行使，義務和責任得以履行的有關程式為主要內容的法律。

程式法主要包括行政訴訟法、行政程式法、民事訴訟法、刑事訴訟法、立法程式法等。程式法是正確實施實體法的保障，審判活動則是實體法和程式法的綜合運用。

另外，需要注意的是，程式法並不等同於訴訟法或審判法，而是一個包含多種法律的大概念。