Checking Compatability of Programs on Shared Data
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 program, called the producer, and its interpretation by another program, called...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en_US |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://etd.iisc.ernet.in/2005/3899 http://etd.iisc.ernet.in/abstracts/4774/G25268-Abs.pdf |