A programming language that provides the structured program constructs, namely, singleentry-single-exit sequences, branches, and loops, and facilitates the development of structured programs.