Søk
Viser treff 1-2 av 2
(Research report / Forskningsrapport / PublishedVersionAcceptedVersionPublishedVersionAcceptedVersion; Peer reviewed, 2016)
The rapidly increasing pervasiveness and integration of computers in human and animal society calls for a broad discipline under which this development can be studied. We argue that to design and use technology one needs ...
(Research report / Forskningsrapport / SubmittedVersion; Peer reviewed, 2012)
We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades. Dynamic SOS is built on top of theModular SOS of P.Mosses, with an underlying category theory ...