为实现实体法所定的抽象的权利义务，辅助之严密且公正的实行，而订定其程序的法律。如刑事诉讼法、民事诉讼法等。