The Verifiacation Problem for Safe Replaceability
Abstract elided by the publisher.
Related papers
- Simple, fast, and safe manual memory management PLDI 2017
- Multiparty Session Types for Safe Runtime Adaptation in an Actor Language ECOOP 2021
- Unboxed Data Constructors: Or, How cpp Decides a Halting Problem POPL 2024
- Dynamic software updates: a VM-centric approach PLDI 2009
- An abstract interpretation framework for refactoring with application to extract methods with contracts OOPSLA 2012
- A theory of contracts for web services POPL 2008
- Asynchronous Subtyping by Trace Relaxation TACAS 2024
- Pluggable verification modules: an extensible protection mechanism for the JVM OOPSLA 2004