LAZY NARROWING IN A GRAPH MACHINE

被引：0

作者：

MORENONAVARRO, JJ

KUCHEN, H

LOOGEN, R

RODRIGUEZARTALEJO, M

机构：

[1] RHEIN WESTFAL TH AACHEN, LEHRSTUHL INFORMAT II, W-5100 AACHEN, GERMANY

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

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：298 / 317

页数：20

共 50 条

[1] An abstract machine based system for a lazy narrowing calculus
Hortalá-González, T
Ullán, E
FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 216 - 232
[2] THE IMPLEMENTATION OF LAZY NARROWING
CHAKRAVARTY, MMT
LOCK, HCR
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 528 : 123 - 134
[3] Lazy narrowing with simplification
Hanus, M
COMPUTER LANGUAGES, 1997, 23 (2-4): : 61 - 85
[4] Uniform lazy narrowing
Alpuente, M
Falaschi, M
Julián, P
Vidal, G
JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (02) : 287 - 312
[5] Lazy narrowing with simplification
RWTH Aachen, Aachen, Germany
Comput Lang, 2-4 (61-85):
[6] A debugging model for lazy narrowing
ArenasSanchez, P
GilLuezas, A
PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS, 1995, 982 : 453 - 454
[7] A deterministic lazy narrowing calculus
Middeldorp, A
Okui, S
JOURNAL OF SYMBOLIC COMPUTATION, 1998, 25 (06) : 733 - 757
[8] Lazy Graph Transformation
Orejas, Fernando
Lambers, Leen
FUNDAMENTA INFORMATICAE, 2012, 118 (1-2) : 65 - 96
[9] A complete selection function for lazy conditional narrowing
Suzuki, T
Middeldorp, A
FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 201 - 215
[10] DESIGN OF A COMPILER FOR LAZY PATTERN DRIVEN NARROWING
WOLZ, D
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 534 : 362 - 379