手続き型プログラミングとは、コンピュータプログラマーがプログラムを書く方法を示すために使われる言葉です。 アプリケーションとも呼ばれるこのソフトウェア開発方法は、コードをできるだけ簡潔に保つことを中心に展開されます。 また、達成すべき特定の最終結果に焦点を当てます。 インペラティブ・プログラミングは、このタイプの開発を意味する別の用語として使われています。 特定の結果を達成するために、プログラムが特定のステップを完了することが必須である場合、コードは手続き型プログラミングに従って書かれたと言われます。

この概念に従ってプログラミングするソフトウェア開発者は、通常、実際にコードを書く前に、平易な言語で予備計画を書きます。 手続き的プログラミングは、その背後にある論理のため、コンピュータ サイエンスの初心者の学生によく教えられます。 彼らは、目標を達成するために必要な一連の手順で考えるように促されます。

たとえば、教授は、ピーナッツ バターとジェリーのサンドイッチを作るために必要な一連のアクションを書き出すようにクラスに勧めるかもしれません。 サンドイッチの作り方を知らないふりをして、各生徒はその指示に一歩一歩従おうとします。 その結果、「何か一つでも欠けていたら、思ったようなものができない」ということを学び、正確な指示の重要性を認識します。 このことは、実際にコードを書き始めるときにも役立ちます。

プロシージャル・プログラミングは、アプリケーションをコーディングする方法として常に望ましいとは限りません。 非常に複雑なソフトウェアでは、文字通り何千行ものコードが必要になることがあり、チームで作業することが多少難しくなります。 プログラマの中には、非常に大規模なアプリケーションは、一人の開発者では保守が困難になるという意見を持つ人もいます。

手続き型プログラミング言語で非常に大規模または複雑なソフトウェアを書くことは不可能であると、間違って信じている人もいます。 ある種のプログラムはオブジェクト指向プログラミング (OOP) を使ってより簡単に書くことができるかもしれませんが、だからといって手続き的な開発ができないというわけではありません。 オープンソースのオペレーティングシステムの中核であるLinuxカーネルは手続き型プログラミングで書かれています． その他、Apacheサーバ、Drupalコンテンツ管理システム、Sambaなどの主要なアプリケーションは、すべてこの方法で書かれています。 これらのアプリケーションは大規模で、圧倒的多数のプログラマが複雑だと考えています。

現存する手続き型プログラミング言語には、C、Fortran、Python があります。 多くの重要なアプリケーションやユーティリティは、このような言語でコード化されている。 例えば、Fedora Linux のインストーラである Anaconda は Python で書かれていますし、さまざまなソフトウェア管理ツールもそうです

。