LAZY PATTERN-MATCHING IN THE ML LANGUAGE

被引：0

|

作者：

LAVILLE, A ^{[1
]}

机构：

[1] UNIV REIMS,F-51062 REIMS,FRANCE

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 287卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：400 / 419

页数：20

相关论文

共 50 条

[1] IMPLEMENTATION OF LAZY PATTERN-MATCHING ALGORITHMS
LAVILLE, A
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 300 : 298 - 316
[2] THE SPECIFICITY RULE FOR LAZY PATTERN-MATCHING IN AMBIGUOUS TERM REWRITE SYSTEMS
KENNAWAY, R
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 432 : 256 - 270
[3] ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti
Cauderlier, Raphael
Dubois, Catherine
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, 2016, 9965 : 459 - 468
[4] PATTERN-MATCHING IN A FUNCTIONAL TRANSFORMATION LANGUAGE USING TREEPARSING
FERDINAND, C
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 358 - 371
[5] ALGORITHMS FOR PATTERN-MATCHING
DAVIES, G
BOWSHER, S
SOFTWARE-PRACTICE & EXPERIENCE, 1986, 16 (06): : 575 - 601
[6] PATTERN-MATCHING IN TREES
HOFFMANN, CM
ODONNELL, MJ
JOURNAL OF THE ACM, 1982, 29 (01) : 68 - 95
[7] APPROXIMATE PATTERN-MATCHING
MANBER, U
WU, S
BYTE, 1992, 17 (12): : 281 - +
[8] ADAPTIVE PATTERN-MATCHING
SEKAR, RC
RAMESH, R
RAMAKRISHNAN, IV
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 623 : 247 - 260
[9] FUZZY PATTERN-MATCHING
CAYROL, M
FARRENY, H
PRADE, H
KYBERNETES, 1982, 11 (02) : 103 - 116
[10] COMPILING PATTERN-MATCHING
AUGUSTSSON, L
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 201 : 368 - 381

← 1 2 3 4 5 →