Почему в структурном программировании нет мертвого кода?
А кто-нибудь может дать четкое определение "Структурного программирования" и "мертвого кода"? Это же ведь просто размышления на тему, так сказать абстрактное видение программирования в целом, а вот уже как это материализовалось в конкретных языках программирования  и на сколько полно - не важно, так как это не относится к проблемам самого подхода. Наоборот, это проблема самого человека, который постоянно ищет золотой грааль, который решит все его проблемы, и всегда находится мессия указывающий путь к нему.
--------
И вообще зачем лезть в теорию программирования? Чтобы разработать свой ЯП? На прикладном уровне эта инфа не более чем беллетристика.
Ну обычно подход "сверху вниз". И такой подход диктует программисту проходить весь код целиком удаляя мертвый код. Скажем так - чаще приходится перебирать код и как правило мусора намного меньше