Magda: A New Language for Modularity

  Abstract