Los puntos clave no están disponibles para este artículo en este momento.
A data type specification is a description of the properties of a data abstraction for the benefit of its users and implementers. The data abstraction has realizations, all of which behave in a certain way. It is those properties implied by this behavior which we consider essential; properties specific to some realization are extraneous. The specification problem is to present all of the essential properties and no extraneous ones.
Samuel Kamin (Sat,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: