THE USE OF SORTS IN ALGEBRAIC SPECIFICATIONS

被引：0

作者：

MOSSES, PD ^{[1
]}

机构：

[1] AARHUS UNIV, DEPT COMP SCI, DK-8000 AARHUS, DENMARK

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1993年 / 655卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Algebraic specification frameworks exploit a variety of sort discipline. The treatment of sorts has a considerate influence on the ease with which such features as partiality and polymorphism can be specified. This survey gives an accessible overview of various frameworks, focusing on their sort disciplines and assessing their strengths and weaknesses for practical applications. Familiarity with the basic notions of algebraic specification is assumed.

引用

页码：66 / 91

页数：26

共 52 条

[11]

CONSTABLE RL, 1986, INPLEMENTING MATH NU

[12]

EHRIG H, 1989, LECT NOTES COMPUT SC, V372, P263

[13]

Ehrig Hartmut, 1985, EATCS MONOGRAPHS THE, V6

[14] ALGEBRAIC AND OPERATIONAL SEMANTICS OF SPECIFICATIONS ALLOWING EXCEPTIONS AND ERRORS [J].

GOGOLLA, M ;

DROSTEN, K ;

LIPECK, U ;

EHRICH, HD .

THEORETICAL COMPUTER SCIENCE, 1984, 34 (03) :289-313

[15]

GOGOLLA M, 1987, LECT NOTES COMPUT SC, V249, P81

[16]

GOGOLLA M, 1985, SERIES IFB, V116, P89

[17]

GOGOLLA M, 1984, 9TH P CAAP BORD, P139

[18]

Goguen J.A., 1978, CURRENT TRENDS PROGR, VIV

[19]

GOGUEN JA, 1984, LECT NOTES COMPUT SC, V164, P221

[20]

GOGUEN JA, 1986, LECT NOTES COMPUT SC, V240, P313

← 1 2 3 4 5 6 →