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

DOI10.1145/1328438.1328447zbMath1295.68154OpenAlexW2112281233MaRDI QIDQ3189824

No author found.

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

dynamic software updatingcontextual effectstype and effect systemsdata race detectioncomputation effectsversion consistency

Mathematics Subject Classification ID

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

Related Items (3)

Automated temporal verification for algebraic effects ⋮ Formalizing Soundness of Contextual Effects ⋮ Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method

Uses Software

• Banshee

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