Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications.
Mandayam K. Srivas · DSpace@MIT (Massachusetts Institute of Technology) · 1982
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.