Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300182582> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4300182582 abstract "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. Dynamic SOS (DSOS) is built on top of the Modular SOS of P. Mosses, with an underlying category theory formalization. The idea of Dynamic SOS is to bring out the essential differences between dynamic upgrade constructs and program execution constructs. The important feature of Modular SOS (MSOS) that we exploit in DSOS is the sharp separation of the program execution code from the additional (data) structures needed at run-time. In DSOS we aim to achieve the same modularity and decoupling for dynamic software upgrades. This is partly motivated by the long term goal of having machine-checkable proofs for general results like type safety. We exemplify Dynamic SOS on two languages supporting dynamic software upgrades, namely the C-like Proteus, which supports updating of variables, functions, records, or types at specific program points, and Creol, which supports dynamic class upgrades in the setting of concurrent objects. Existing type analyses for software upgrades can be done on top of DSOS too, as we illustrate for Proteus. As a side result we define of a general encapsulating construction on Modular SOS useful in situations where a form of encapsulation of the execution is needed. We use encapsulation in the Creol setting of concurrent object-oriented programming with active objects and asynchronous method calls." @default.
- W4300182582 created "2022-10-03" @default.
- W4300182582 creator A5052790680 @default.
- W4300182582 creator A5059061008 @default.
- W4300182582 date "2016-12-02" @default.
- W4300182582 modified "2023-09-28" @default.
- W4300182582 title "Dynamic Structural Operational Semantics" @default.
- W4300182582 doi "https://doi.org/10.48550/arxiv.1612.00666" @default.
- W4300182582 hasPublicationYear "2016" @default.
- W4300182582 type Work @default.
- W4300182582 citedByCount "0" @default.
- W4300182582 crossrefType "posted-content" @default.
- W4300182582 hasAuthorship W4300182582A5052790680 @default.
- W4300182582 hasAuthorship W4300182582A5059061008 @default.
- W4300182582 hasBestOaLocation W43001825821 @default.
- W4300182582 hasConcept C101468663 @default.
- W4300182582 hasConcept C111919701 @default.
- W4300182582 hasConcept C115903868 @default.
- W4300182582 hasConcept C120314980 @default.
- W4300182582 hasConcept C145428669 @default.
- W4300182582 hasConcept C156325763 @default.
- W4300182582 hasConcept C165696696 @default.
- W4300182582 hasConcept C184337299 @default.
- W4300182582 hasConcept C199360897 @default.
- W4300182582 hasConcept C20136886 @default.
- W4300182582 hasConcept C2777904410 @default.
- W4300182582 hasConcept C2779478453 @default.
- W4300182582 hasConcept C38652104 @default.
- W4300182582 hasConcept C41008148 @default.
- W4300182582 hasConcept C54355233 @default.
- W4300182582 hasConcept C73752529 @default.
- W4300182582 hasConcept C86803240 @default.
- W4300182582 hasConceptScore W4300182582C101468663 @default.
- W4300182582 hasConceptScore W4300182582C111919701 @default.
- W4300182582 hasConceptScore W4300182582C115903868 @default.
- W4300182582 hasConceptScore W4300182582C120314980 @default.
- W4300182582 hasConceptScore W4300182582C145428669 @default.
- W4300182582 hasConceptScore W4300182582C156325763 @default.
- W4300182582 hasConceptScore W4300182582C165696696 @default.
- W4300182582 hasConceptScore W4300182582C184337299 @default.
- W4300182582 hasConceptScore W4300182582C199360897 @default.
- W4300182582 hasConceptScore W4300182582C20136886 @default.
- W4300182582 hasConceptScore W4300182582C2777904410 @default.
- W4300182582 hasConceptScore W4300182582C2779478453 @default.
- W4300182582 hasConceptScore W4300182582C38652104 @default.
- W4300182582 hasConceptScore W4300182582C41008148 @default.
- W4300182582 hasConceptScore W4300182582C54355233 @default.
- W4300182582 hasConceptScore W4300182582C73752529 @default.
- W4300182582 hasConceptScore W4300182582C86803240 @default.
- W4300182582 hasLocation W43001825821 @default.
- W4300182582 hasLocation W43001825822 @default.
- W4300182582 hasLocation W43001825823 @default.
- W4300182582 hasOpenAccess W4300182582 @default.
- W4300182582 hasPrimaryLocation W43001825821 @default.
- W4300182582 hasRelatedWork W1502311553 @default.
- W4300182582 hasRelatedWork W1568883111 @default.
- W4300182582 hasRelatedWork W1680480890 @default.
- W4300182582 hasRelatedWork W2069426543 @default.
- W4300182582 hasRelatedWork W2110443840 @default.
- W4300182582 hasRelatedWork W2732612607 @default.
- W4300182582 hasRelatedWork W2915995131 @default.
- W4300182582 hasRelatedWork W2945234661 @default.
- W4300182582 hasRelatedWork W4306316778 @default.
- W4300182582 hasRelatedWork W2788308474 @default.
- W4300182582 isParatext "false" @default.
- W4300182582 isRetracted "false" @default.
- W4300182582 workType "article" @default.