Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications
| dc.contributor.advisor | Guttag, John V. | en_US |
| dc.contributor.author | Srivas, Mandayam K. | en_US |
| dc.date.accessioned | 2023-03-29T15:06:41Z | |
| dc.date.available | 2023-03-29T15:06:41Z | |
| dc.date.issued | 1982-06 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149554 | |
| dc.description.abstract | Algebraic specifications have been used extensively to prove properties of abstract data types and to establish the correctness of implementations of data types. This thesis explores an automatic method of synthesizing implementations for data types from their algebraic specifications. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-276 | |
| dc.title | Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications | en_US |
| dc.identifier.oclc | 9479492 |
