⒈ 亦稱“審判法”、“訴訟法”?！皩嶓w法”的對稱。規定訴訟程序的法律。如刑事訴訟法、民事訴訟法和行政訴訟法。程序法是正確實施實體法的保障。審判活動是實體法和程序法的綜合運用。
⒈ 為實現實體法所定的抽象的權利義務，輔助之嚴密且公正的實行，而訂定其程序的法律。如刑事訴訟法、民事訴訟法等。
英語procedural law
德語Formelles Recht (Rechtsw)?