Specification of abstract data types with partially defined operations
Toshiki Sakabe, Yasuyoshi Inagaki, Namio Honda · International Conference on Software Engineering · 1982
We investigate equational inference rules for partial algebras and propose conditionally complete equational inference rules for partial algebras. Based on the results obtained from the investigation we propose a new algebraic specification technique for partial abstract data types. It requires no superfluous equations concerning undefinedness.