ALGORITHM TO RECOGNIZE SUFFICIENT COMPLETENESS OF ALGEBRAIC SPECIFICATION OF AN ABSTRACT DATA TYPE.

G. A. Kucherov

Research output: Contribution to journalArticlepeer-review

Abstract

The basic definitions are reviewed and some results are formulated relating to algebraic specification of abstract data types. The problem of recognizing sufficient completeness and the problem of finding the set of basic constructors for such specifications are considered. Effective algorithms are proposed.

Original languageEnglish
Pages (from-to)161-168
Number of pages8
JournalProgramming and Computer Software
Volume10
Issue number4
Publication statusPublished - Jul 1984
Externally publishedYes

Fingerprint

Dive into the research topics of 'ALGORITHM TO RECOGNIZE SUFFICIENT COMPLETENESS OF ALGEBRAIC SPECIFICATION OF AN ABSTRACT DATA TYPE.'. Together they form a unique fingerprint.

Cite this