III.3.54 pop – remove the top element of the stack Format Assembly Format Description 26 pop Pop value from the stack. Stack Transition: …, value → … Description: The pop instruction removes the top element from the stack. Exceptions: None. Correctness: Verifiability: No additional requirements.