34 citations · 77 across the 12 of their papers we have counts for
1 paper · 1 filter
Christian Johansen, Olaf Owe
We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades, for upgrading software code during run-time. Dynam…