程序法是指 以保证权利和义务得以实施或职权和职责得以履行的有关程序为主的法律。它包括诉讼法和非诉讼程序法两大类。常见的程序法有：
诉讼法：
包括民事诉讼法、刑事诉讼法、行政诉讼法等，规定了各类诉讼活动的程序。
非诉讼程序法：
包括行政程序法、立法程序法、选举规则、议事规则等，涉及非诉讼活动的程序。
程序法的主要作用是确保实体法所规定的权利义务关系得以正确实施，是司法公正的重要保障。程序法为实体法提供了实现其目标的手段和工具，正如实体法是“大马车”，程序法则是“马”，没有程序法的保障，实体法的规定将难以落实。