Comparative Programming

Control Structure - A control statement along with the statements whose execution it controls.

Control Statement Evolution - The progression of programming control flow toward more readable, flexible, and powerful constructs.

Selection Statement - A statement that allows choosing between two or more execution paths.

Two-Way Selection - A selection structure with two paths (e.g., if-else).

Multiple-Way Selection - A selection structure that allows choosing from multiple paths (e.g., switch/case).

Boolean Expression - An expression that evaluates to true or false, used to control decisions.

If Statement - A two-way selection statement that executes code based on a condition.

Switch Statement - A multiple-way selection statement based on matching values of an expression.

Conditional Operator - A compact form of selection that returns one of two values based on a condition.

Control Expression - The expression that determines which branch of a selection statement is executed.

Clause - A block or statement executed as part of a selection structure (then/else).

Dangling Else Problem Ambiguity - in nested if statements where it’s unclear which if an else belongs to.

Nearest If Rule A rule stating that an else is matched with the closest preceding unmatched if.

Selector Expression - A selection structure that returns a value (e.g., in functional languages).

Case Statement - A multiple-selection construct using labeled branches.

Default Case - A branch executed when no other case matches.

Fall-Through (C Switch) - Execution continues into the next case unless explicitly stopped (e.g., with break).

Break Statement - A command that exits a loop or switch immediately.

Continue Statement - A command that skips the rest of the current loop iteration and continues with the next.

COND Statement - A Scheme construct for multiple selection using predicate-expression pairs.

Iteration - The repeated execution of a statement or block.

Loop - A control structure used for iteration.

Counter-Controlled Loop - A loop that runs a specific number of times using a loop variable.

Loop Variable - A variable used to control the number of loop iterations.

For Loop - A counter-controlled loop commonly used in many languages.

Infinite Loop - A loop that runs indefinitely due to lack of termination condition.

Range - A sequence of values used to control loop iteration (common in Python).

Logically-Controlled Loop - A loop controlled by a Boolean expression (e.g., while loop).

Pretest Loop - A loop that checks the condition before executing the body.

Posttest Loop - A loop that checks the condition after executing the body.

While Loop - A pretest logically controlled loop.

Do-While Loop - A posttest logically controlled loop.

Recursive Loop Simulation - Using recursion to simulate loops in functional languages.

User-Located Loop Control - Loop control determined inside the loop body (e.g., break).

Labeled Break - A break statement that exits multiple nested loops using a label.

Iterator A - function or mechanism that accesses elements of a data structure sequentially.

Foreach Loop - A loop that iterates over elements of a collection.

Iterable - A data structure that can be traversed using an iterator.

Yield Statement - A construct that returns a value and pauses execution, resuming later.

Generator Function - A function that produces a sequence of values using yield.

Unconditional Branching - A jump to another part of a program without condition (e.g., goto).

Goto Statement - A direct jump to a labeled statement in a program.

Guarded Command - A control structure where execution depends on multiple Boolean expressions.

Selection Guarded Command - A guarded structure that selects one of several true conditions.

Loop Guarded Command - A guarded structure that repeats execution based on conditions.

Non-Deterministic Choice - Selecting one of multiple true conditions arbitrarily.

Program Verification - The process of proving program correctness.

Structured Programming - A programming paradigm that avoids goto and uses structured control flow.