“程序法”的英文是“procedural law”。

法理学在研究法律和法律现象的过程中，依据不同的标准，将法律分为不同的种类。根据法律规定内容的不同来进行划分，可以分为实体法和程序法。

程序法是为实现实体权利义务而制定的关于程序方面的法律，如刑事诉讼法、民事诉讼法等。当然，这种划分并不是绝对的，在实体法中往往也规定了某些程序问题，而在程序法中则多有关于诉讼主体权利义务的规定。程序法是正确实施实体法的保障，审判活动则是实体法和程序法的综合运用。

一般情况下，程序法是指实体法以外，法院或者行政机关如何进行各种司法程序或行政程序的实证法。程序法可以定位为非关实体权利，而系为安排各种程序的法令而言。在大陆法系国家，程序法基本上可以分为民事程序法、刑事程序法以及行政程序法。

【双语例句】

如国内之程序法，设有对第三人通知之制度者，其对人应为之第三人通知，得由主要诉讼所系属之法院为之。 

f the national procedural law establishes a system of third-party notice， a person may be subject to a third-party notice in the court seised with the main proceedings.