实体法与程序法是对法律属性的一种理论划分。