Mutatis mutandis
From MaRDI portal
Publication:5276145
DOI10.1145/1040305.1040321zbMath1369.68157OpenAlexW2119082518MaRDI QIDQ5276145
No author found.
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
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (9)
Symbolic execution proofs for higher order store programs ⋮ A Hybrid Model in Dynamic Software Updating for C ⋮ A flexible model for dynamic linking in Java and C\# ⋮ Specification patterns for reasoning about recursion through the store ⋮ Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method ⋮ A Framework for Type Safe Exchange of Mobile Code ⋮ Static and dynamic property-preserving updates ⋮ Dynamic structural operational semantics ⋮ A Parametric Calculus for Mobile Open Code
Uses Software
This page was built for publication: Mutatis mutandis