程序法是指为了保障法律主体实体权利和义务的实现而制定的关于程序方面的法律。它主要包括以下几类：

民事程序法：涉及民事纠纷的解决程序。

刑事程序法：规定刑事案件的侦查、起诉、审判等程序。

行政程序法：涉及行政机关行使职权时的程序规定。

立法程序法：规定法律制定过程的程序。

行政诉讼法：规定公民、法人或其他组织针对行政机关的行为提起诉讼的程序。

程序法为实体法的实施提供程序保障，确保权利和职权得以实现或行使，义务和责任得以履行。它是正确实施实体法的保障，而审判活动则是实体法和程序法的综合运用