BABEL - A FUNCTIONAL AND LOGIC PROGRAMMING LANGUAGE BASED ON CONSTRUCTOR DISCIPLINE AND NARROWING

被引：0

作者：

MORENONAVARRO, JJ ^{[1
]}

RODRIGUEZARTALEJO, M ^{[1
]}

机构：

[1] UNIV COMPLUTENSE MADRID, FAC CC MATEMAT, DEPT INFORMAT & AUTOMAT, E-28040 MADRID, SPAIN

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：223 / 232

页数：10

共 22 条

[1]

[Anonymous], 1980, INT C AUTOMATED DEDU

[2] THE RELATION BETWEEN LOGIC AND FUNCTIONAL LANGUAGES - A SURVEY [J].

BELLIA, M ;

LEVI, G .

JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (03) :217-236

[3]

BIRD R, 1988, INTRO FUNCTIONAL PRO, P188

[4]

BOSCO PG, LECT N COMP, V250, P276

[5]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

DINCBAS, M ;

VANHENTENRYCK, P .

JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (03) :199-227

[7]

FRIBOURG L, 1985, P IEEE INT S LOGIC P, P172

[8]

GOGUEN JA, EQLOG EQUALITY TYPES, P295

[9]

HUET G, 1980, FORMAL LANGUAGE THEO, P349

[10]

LARSEN KG, 1984, LECT NOTES COMPUT SC, V173, P109