什么是程序法

区别于实体法。
实体法是规定和确认权利和义务以及职权和责任为主要内容的法律，如宪法、行政法、民法、商法、刑法等等；
程序法是规定以保证权利和职权得以实现或行使，义务和责任得以履行的有关程序为主要内容的法律，如行政诉讼法、行政程序法、民事诉讼法、刑事诉讼法、立法法等等。
打个通俗比方：你参加民事诉讼，决定你有理没理，官司输赢的，是《民法通则》或者《合同法》《继承法》...等等实体法；但规定你怎样参加诉讼，要遵守些什么，先应该怎样后必须怎样...等等，就是《民事诉讼法》这样的程序法了。