• Checking Compatability of Programs on Shared Data 

      Pranavadatta, DN (2018-07-28)
      A large software system is built by composing multiple programs, possibly developed independently. The component programs communicate by sharing data. Data sharing involves creation of instances of the shared data by one ...