警察程序小說是程序劇與偵探小說的子類型,強調如實描寫警察、刑警或執法機關的辦案程序,並以他們為主角。鑑識、驗屍、證據蒐集、搜索票、偵訊,以及對法律限制的遵守,是它的標準陳設;故事可以是一部 whodunit,也可以是早早揭曉凶手的倒敘推理。Simenon 的 Maigret 系列與 Ed McBain 的 87th Precinct 系列,確立了這個形式。
程序就是這個類型的承諾:讀者期待文書細節經得起檢驗,於是案卷、誰知道什麼、存在哪些證據,就成了連載的知識追蹤骨幹。與溫馨推理的業餘偵探兩相對照,是把一部作品放上書架最清楚的方式。