Supports for Cooperative Modular Programming