А они не удаляются. Стек это же последовательность, например такая: 1|2|0|*|4|5|14.
* - это граница между переменными разных методов. т.е если метод 1 вызывает метод 2, то 1|2|0 это переменные первого метода, а 4|5|14 второго метода.
Когда второй метод вернет управление, то указатель стека укажет на начало списка переменных первого метода а про второй забудет. Но это не значит что они удалятся. Потом они просто будут перезаписаны другими значениями, когда эти адреса памяти понадобятся