Mutatis mutandis: safe and predictable dynamic software updating

DOI10.1145/1040305.1040321MaRDI QIDQ5276145zbMATH OpenOpenAlexFDO

Authors

Publication date 14 July 2017

Published in Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1040305.1040321

zbMATH Keywords

capabilitydynamic software updatingProteustype inferenceupdateability analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• ReCaml: execution state as the cornerstone of reconfigurations
• An update calculus for expressing type-safe program updates
• Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method
• A Hybrid Model in Dynamic Software Updating for C
• scientific article; zbMATH DE number 1956559

Cited in

(20)

• Type-based hot swapping of running modules
• Static and dynamic property-preserving updates
• Dynamic structural operational semantics
• On flexible dynamic trait replacement for Java-like languages
• Live upgrade techniques for CORBA applications
• A parametric calculus for mobile open code
• Symbolic execution proofs for higher order store programs
• Dynamic random-access stored-program machine for runtime code modification
• Contextual effects for version-consistent dynamic software updating and safe concurrent programming
• A Framework for Type Safe Exchange of Mobile Code
• Specification patterns for reasoning about recursion through the store
• scientific article; zbMATH DE number 1956559 (Why is no real title available?)
• On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading
• ReCaml: execution state as the cornerstone of reconfigurations
• A Hybrid Model in Dynamic Software Updating for C
• Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method
• FM 2005: Formal Methods
• A flexible model for dynamic linking in Java and C\#
• Verification of evolving software via component substitutability analysis
• An update calculus for expressing type-safe program updates

Describes a project that uses

Uses Software

• Erlang

This page was built for publication: Mutatis mutandis: safe and predictable dynamic software updating

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5276145)