Specification of abstract data types with partially defined operations

  • Authors:

  • Toshiki Sakabe;Yasuyoshi Inagaki;Namio Honda

  • Affiliations:

  • -;-;-

  • Venue:
  • ICSE '82 Proceedings of the 6th international conference on Software engineering
  • Year:
  • 1982

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.