HYBRID IMPLEMENTATIONS OF ALGEBRAIC SPECIFICATIONS

被引：0

作者：

WALTERS, HR

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：40 / 54

页数：15

相关论文

共 8 条

[1]

BOUMA LG, 1989, IMPLEMENTING ALGEBRA

[2]

DROSTEN K, 1984, 8408 TU BRAUNSCHW IN

[3]

KAPLAN S, 1989, LNCS, V355

[4]

KLOP JW, 1987, B EATCS, V32

[5]

RUSH T, 1988, LNCS, V308

[6] LOGIC PROGRAMMING WITH EQUATIONS [J].

VANEMDEN, MH ;

YUKAWA, K .

JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04) :265-288

[7]

WALTERS HR, 1989, UVA P8913 U AMST REP

[8]

[No title captured]