- Title
- Behavioural model debugging in Linda
- Creator
- Sewry, David Andrew
- Subject
- LINDA (Computer system) Debugging in computer science
- Date Issued
- 1994
- Date
- 1994
- Type
- Thesis
- Type
- Doctoral
- Type
- PhD
- Identifier
- vital:4674
- Identifier
- http://hdl.handle.net/10962/d1006697
- Description
- This thesis investigates event-based behavioural model debugging in Linda. A study is presented of the Linda parallel programming paradigm, its amenability to debugging, and a model for debugging Linda programs using Milner's CCS. In support of the construction of expected behaviour models, a Linda program specification language is proposed. A behaviour recognition engine that is based on such specifications is also discussed. It is shown that Linda's distinctive characteristics make it amenable to debugging without the usual problems associated with paraUel debuggers. Furthermore, it is shown that a behavioural model debugger, based on the proposed specification language, effectively exploits the debugging opportunity. The ideas developed in the thesis are demonstrated in an experimental Modula-2 Linda system.
- Format
- 213 leaves
- Format
- Publisher
- Rhodes University
- Publisher
- Faculty of Science, Computer Science
- Language
- English
- Rights
- Sewry, David Andrew
- Hits: 868
- Visitors: 819
- Downloads: 74
Collections
Sewry, David (Prof)
RU Department of Information Systems
RU Department of Computer Science
| Thumbnail | File | Description | Size | Format | |||
|---|---|---|---|---|---|---|---|
| View Details Download | SOURCEPDF | 18 MB | Adobe Acrobat PDF | View Details Download |