辞海

释义：chéng xù fǎ
亦称“审判法”、“诉讼法”。“实体法”的对称。规定诉讼程序的法律。如刑事诉讼法、民事诉讼法和行政诉讼法。程序法是正确实施实体法的保障。审判活动是实体法和程序法的综合运用。