Conceptual

Recursive Procedure Activation Records in Assembly Language Using Merge Sort

Recursive procedure execution relies on the dynamic management of activation records (stack frames) within a memory stack structure to maintain program state across nested function calls and returns. This mechanism ensures that parameters, return addresses, and local variables are correctly allocated upon entry and deallocated upon exit, adhering strictly to the Last-In-First-Out (LIFO) principle inherent to stack-based architectures. In computer science theory, this concept formalizes how control flow is preserved during recursion without global state leakage between distinct invocation contexts.