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 条
[1]  
ACZEL P, 1991, LICS 91, P22
[2]  
ANDREKA H, 1980, FB557 MATH INF PREPR
[3]  
ASTESIANO E, 1991, LECT NOTES COMPUT SC, V493, P121
[4]  
ASTESIANO E, 1992, LECT NOTES COMPUT SC
[5]   ABSTRACT-DATA-TYPES WITH EXCEPTION HANDLING - AN INITIAL APPROACH BASED ON A DISTINCTION BETWEEN EXCEPTIONS AND ERRORS [J].
BERNOT, G ;
BIDOIT, M ;
CHOPPY, C .
THEORETICAL COMPUTER SCIENCE, 1986, 46 (01) :13-45
[6]  
BERNOT G, 1992, LECT NOTES COMPUT SC
[7]  
BIDOIT M, 1984, LECT NOTES COMPUT SC, V172, P95
[8]   PARTIAL ABSTRACT TYPES [J].
BROY, M ;
WIRSING, M .
ACTA INFORMATICA, 1982, 18 (01) :47-64
[9]  
Burmeister P., 1986, MODEL THEORETIC ORIE
[10]  
COMON H, 1991, COMPLETION REWRITE M
123456