程序税法，也称为税收程序法，是指规定税收征纳和管理程序的法律，它主要涉及征税机关的税收征管程序以及纳税人的纳税程序等内容。程序税法的作用包括确保税法主体的权利和义务得以实施，规范征税权的行使，控制和保障纳税人合法权益，以及弥补实体税法的不足。
程序税法的主要内容包括但不限于：
税收确定程序：确定纳税人的纳税义务；
税收征收程序：包括税务登记、纳税申报、税款缴纳等；
税收检查程序：对纳税人的财务和税务状况进行检查；
税务争议的解决程序：处理纳税人与税务机关之间的争议。
程序税法的一个关键作用是保障税收实体法的实施，即通过程序规定来确保税收法律关系中规定的权利和义务得以实现。