程序法是法律体系中的一个重要组成部分，它主要规定的是实现和保障实体法所规定的权利和义务所需要的程序。程序法包括了一系列的法律规范，它们涉及法院、行政机关以及当事人和其他诉讼参与人在司法和行政程序中的权利、义务和行为规范。
程序法包括但不限于以下几种类型：
行政程序法：规定了行政机关在行使职权、作出行政决定和执行行政决定时应遵循的程序。
民事诉讼法：规定了民事纠纷解决过程中当事人应遵循的程序，包括起诉、审理、判决和执行等。
刑事诉讼法：规定了刑事诉讼中的程序，包括侦查、起诉、审判、判决和执行等阶段。
立法程序法：规定了国家立法机关在制定、修改和废止法律时应遵循的程序。
程序法的作用在于确保法律关系得以正确实施，保障当事人的合法权益，并使得司法和行政活动有序进行。它是实体法得以正确执行的保障，与实体法相辅相成。