程序法：为保证实体法规定的权利和义务的实现而制定的诉讼程序上的法律，例如民事诉讼法、刑事诉讼法。