Contextual effects for version-consistent dynamic software updating and safe concurrent programming

DOI10.1145/1328438.1328447MaRDI QIDQ3189824zbMATH OpenOpenAlexFDO

Authors

Publication date 12 September 2014

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

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

zbMATH Keywords

computation effectscontextual effectsdata race detectiondynamic software updatingtype and effect systemsversion consistency

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formalizing Soundness of Contextual Effects
• Mutatis mutandis: safe and predictable dynamic software updating
• Context-bounded analysis for concurrent programs with dynamic creation of threads
• Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
• Coeffects: unified static analysis of context-dependence

Cited in

(4)

• Formalizing Soundness of Contextual Effects
• Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method
• Automated temporal verification for algebraic effects
• Dynamic state restoration using versioning exceptions

Describes a project that uses

Uses Software

• Banshee

This page was built for publication: Contextual effects for version-consistent dynamic software updating and safe concurrent programming

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