Implementing Layered Designs with Mixin Layers
Abstract elided by the publisher.
Related papers
- Beyond static and dynamic scope DLS 2009
- When to use features and aspects?: a case study GPCE 2006
- Layers as Knowledge Transitions in the Design of Distributed Systems TACAS 1995
- Layered and object-based game semantics POPL 2022
- Cross-layer memory management for managed language applications OOPSLA 2015
- DrPy: Pinpointing Inefficient Memory Usage in Multi-Layer Python Applications CGO 2024
- CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee TOPLAS 2021
- Deep Specifications and Certified Abstraction Layers POPL 2015