[<<][softarch][>>][..]Thu Dec 29 12:12:46 EST 2016
- divide problems into isolated subproblems - ensure the composition is sound (e.g. no abstraction leaks) - if there are unavoidable leaks, make sure they are known and accounted for
[Reply][About]
[<<][softarch][>>][..]