A Role-Based Approach towards Modular Language Engineering
Abstract elided by the publisher.
Related papers
- Design pattern implementation in Java and aspectJ OOPSLA 2002
- Modular Type-Based Reverse Engineering of Parameterized Types in Java Code OOPSLA 1999
- Composing contracts: an adventure in financial engineering, functional pearl ICFP 2000
- Finding root causes of floating point error PLDI 2018
- Modular Control Plane Verification via Temporal Invariants PLDI 2023
- Active learning for software engineering Onward! 2019
- Type-safe modular parsing SLE 2017
- What's wrong with git?: a conceptual design analysis Onward! 2013