程序法是指 为保证实体法所规定的权利义务关系的实现而制定的诉讼程序的法律。它主要包括民事诉讼法、刑事诉讼法、行政诉讼法等。程序法规定了法律主体在实现实体权利或履行义务时应遵循的程序，通过司法者的行为或裁断产生效果。程序法不仅包括诉讼程序，还包括非诉讼程序，如行政程序、立法程序等。
程序法与实体法的区别在于：
主要内容：
实体法主要规定具体的权利义务内容或法律保护的具体情况，如民法、刑法等；而程序法则主要规定实现权利和职权、履行义务和责任的程序，如行政诉讼法、行政程序法等。
功能：
实体法的主要功能在于规定和确认权利和职权以及义务和责任；程序法的主要功能在于为实现权利和职权提供必要的规则、方式和秩序。
实施：
程序法的实施总是通过司法者的行为或裁断产生效果，而实体法的实施则直接涉及法律关系主体的权利和义务。
程序法是正确实施实体法的保障，审判活动则是实体法和程序法的综合运用。程序法在法学研究中具有独立的地位，不再仅仅是技术性、工具性的法律安排。