Magda: A New Language for Modularity
Abstract elided by the publisher.
Related papers
- Modular Monad Transformers ESOP 2009
- Modular Language Descriptions GPCE 2004
- Thread-Modular Shape Analysis VMCAI 2009
- Another Kind of Modular Attribute Grammars CC 1992
- Modular Static Program Analysis CC 2002
- Open Modules: Modular Reasoning About Advice ECOOP 2005
- Modular Visitor Components ECOOP 2009
- MAVEN: Modular Aspect Verification TACAS 2007