A call stack is a data structure used by programming languages to keep track of function calls and manage execution context. It operates on a Last In, First Out (LIFO) principle, enabling the program to return control to the correct location after a function completes execution.