Module: An encapsulation mechanism for specifying and implementing abstract data types

@inproceedings{Claybrook1980ModuleAE,
  title={Module: An encapsulation mechanism for specifying and implementing abstract data types},
  author={Billy G. Claybrook and Marvin P. Wyckoff},
  booktitle={ACM '80},
  year={1980}
}
An encapsulation mechanism, the <underline>module</underline>, for specifying abstract data types is described. The <underline>module</underline> employs a constructive specification method for specifying abstract data types. The constructive method consists of two specifications: a <underline>logical structure</underline> specification and a <underline>semantics of operations</underline> specification. The specification and implementation of a nontrivial data type, a symboltable data type, is… CONTINUE READING

Figures and Topics from this paper.

Citations

Publications citing this paper.