Evaluating Support for Features in Advanced Modularization Technologies
No abstract available.
Related papers
- Modular Product Programs TOPLAS 2020
- JavaSMT 3: Interacting with SMT Solvers in Java CAV 2021
- Gobra: Modular Specification and Verification of Go Programs CAV 2021
- Modular Product Programs ESOP 2018
- From object algebras to attribute grammars OOPSLA 2014
- Declaratively programming the mobile web with Mobl OOPSLA 2011
- EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse ECOOP 2017
- Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory OOPSLA 2023