Designing and implementing a model of synchronization contracts in object-oriented languages

In Collections: Electronic Theses & Dissertations

Copyright Status: In Copyright

Material Type: Theses

Authors: Behrends, Karl Reimer

Date Published: 2003

Subjects: Contracts
Object-oriented methods (Computer science)
Object-oriented programming (Computer science)
Synchronization

Program of Study: Computer Science and Engineering

Degree Level: Doctoral

Language: English

Pages: ix, 175 pages

Permalink: https://doi.org/doi:10.25335/xfbr-vp64

Full text