程序法是指 为保证实体法所规定的权利义务关系的实现而制定的诉讼程序的法律。它主要包括诉讼法、行政诉讼法、立法程序法等。程序法的主要功能在于及时、恰当地为实现权利和行使职权提供必要的规则、方式和秩序，确保法律实施的公正、公平、公开，防止滥用权力和侵犯人权。
举例来说，刑事诉讼法规定了刑事诉讼的程序，包括起诉、审判、执行等各个阶段的要求，以确保司法公正；民事诉讼法则规定了民事纠纷的解决程序，包括诉讼的提起、审理、判决等，以保障当事人的合法权益。这些程序法都是程序法的重要组成部分，共同构成了一个国家法律体系中的程序正义保障。