Compositional Verification of a Baby Virtual Memory Manager
No abstract available.
Related papers
- Baby Modula-3 and a Theory of Objects JFP 1994
- Relaxed virtual memory in Armv8-A ESOP 2022
- Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS CAV 2019
- An Implementation Method of Migratable Distributed Objects Using an RPC Technique Integrated with Virtual Memory Management ECOOP 1996
- Modal Abstractions for Virtualizing Memory Addresses OOPSLA 2025
- Tools for the Development of Application-Specific Virtual Memory Management OOPSLA 1993
- Virtual Memory and Backing Storage Management in Multiprocessor Operating Systems Using Object-Oriented Design Techniques OOPSLA 1989
- MemSweeper: virtualizing cluster memory management for high memory utilization and isolation ISMM 2022