A coalgebraic equational approach to specifying observational structures

被引：6

作者：

Cîrstea, C ^{[1
]}

机构：

[1] Univ Oxford, Comp Lab, Oxford OX1 3QD, England

来源：

THEORETICAL COMPUTER SCIENCE | 2002年 / 280卷 / 1-2期

关键词：

D O I：

10.1016/S0304-3975(01)00020-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

A coalgebraic, equational approach to the specification of observational structures allowing for a choice in the result type of observations is presented. Observers whose result type is structured as a coproduct of basic types are considered, and notions of covariable, coterm and coequation, dual to the algebraic notions of variable, term and equation are used to specify the associated structures. A sound and complete deduction calculus for reasoning about observational structures is then formulated. Finally, the approach is extended in order to account for the availability of a fixed data universe in the specification of such structures. (C) 2002 Elsevier Science B.V. All rights reserved.

引用

页码：35 / 68

页数：34

共 11 条

[1]

[Anonymous], 1996, CSR9652 CWI

[2]

Borceux F., 1994, HDB CATEGORICAL ALGE, V2

[3]

CIRSTEA C, 2000, THESIS U OXFORD

[4]

Corradini A, 1998, LECT NOTES COMPUT SC, V1376, P190

[5] INSTITUTIONS - ABSTRACT MODEL-THEORY FOR SPECIFICATION AND PROGRAMMING [J].

GOGUEN, JA ;

BURSTALL, RM .

JOURNAL OF THE ACM, 1992, 39 (01) :95-146

[6]

Jacobs B., 1996, Object orientation with parallelism and persistence, P83

[7]

JACOBS B, 1997, LECT NOTES COMPUTER, V1349, P276

[8]

MESEGUER J, 1989, GEN LOGICS LOGIC C 8, P275

[9] Coalgebraic logic [J].

Moss, LS .

ANNALS OF PURE AND APPLIED LOGIC, 1999, 96 (1-3) :277-317

[10]

Reichel H., 1995, Mathematical Structures in Computer Science, V5, P129, DOI 10.1017/S0960129500000694

← 1 2 →