Not really a big fan, because the formalization of DS always left something desired, but I think a big difference with formalization in ULC is that ULC is (most

Not really a big fan, because the formalization of DS always left something desired, but I think a big difference with formalization in ULC is that ULC is (mostly) materialist while DS is structuralist. So the initial formalization into ULC can be automated - if you have semantics of your language already implemented as an interpreter in another language, you can use this as a starting point. With DS - I am not sure. I feel most people who build new languages don't provide DS specification.