Towards a Theory for Abstract Data Types
| dc.contributor.advisor | Liskov, Barbara H. | en_US |
| dc.contributor.author | Kapur, Deepak | en_US |
| dc.date.accessioned | 2023-03-29T15:04:01Z | |
| dc.date.available | 2023-03-29T15:04:01Z | |
| dc.date.issued | 1980-06 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149518 | |
| dc.description.abstract | A rigorous framework for studying immutable data types having nondeterministic operations and operations exhibiting exceptional behavior is developed. The framework embodies the view of a data type taken in programming languages, and supports hierarchical and modular structure among data types. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-237 | |
| dc.title | Towards a Theory for Abstract Data Types | en_US |
| dc.identifier.oclc | 06687534 |
