a programming paradigm, classified as imperative programming, that involves implementing the behavior of a computer program as procedures (a.k.a. functions, subroutines) that call each other.
a concept in American federal law that requires a state prisoner seeking a writ of habeas corpus in federal court to have "present[ed] his federal law argument to the state courts in compliance with state procedural rules.