Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft
No abstract available.
Related papers
- Maintaining the Consistency of Class Libraries During Their Evolution OOPSLA 1997
- An Extension of Standard ML Modules with Subtyping and Inheritance POPL 1991
- Modular Mixin-Based Inheritance for Application Frameworks OOPSLA 2001
- Modular Verification of Concurrent Programs POPL 1982
- Secure Compilation of Object-Oriented Components to Protected Module Architectures APLAS 2013
- Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems ECOOP 2021
- Mixin Modules ICFP 1996
- BatakJava: An Object-Oriented Programming Language with Versions SLE 2022