Lazy narrowing with simplification

被引：0
|
作者：
RWTH Aachen, Aachen, Germany [1 ]
机构：
来源：
Comput Lang | / 2-4卷 / 61-85期
关键词：
Number:; TS; 9103a; Acronym:; BMFT; Sponsor: Bundesministerium für Forschung und Technologie;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Lazy narrowing with simplification
    Hanus, M
    COMPUTER LANGUAGES, 1997, 23 (2-4): : 61 - 85
  • [2] THE IMPLEMENTATION OF LAZY NARROWING
    CHAKRAVARTY, MMT
    LOCK, HCR
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 528 : 123 - 134
  • [3] Uniform lazy narrowing
    Alpuente, M
    Falaschi, M
    Julián, P
    Vidal, G
    JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (02) : 287 - 312
  • [4] A debugging model for lazy narrowing
    ArenasSanchez, P
    GilLuezas, A
    PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS, 1995, 982 : 453 - 454
  • [5] LAZY NARROWING IN A GRAPH MACHINE
    MORENONAVARRO, JJ
    KUCHEN, H
    LOOGEN, R
    RODRIGUEZARTALEJO, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 298 - 317
  • [6] A deterministic lazy narrowing calculus
    Middeldorp, A
    Okui, S
    JOURNAL OF SYMBOLIC COMPUTATION, 1998, 25 (06) : 733 - 757
  • [7] A complete selection function for lazy conditional narrowing
    Suzuki, T
    Middeldorp, A
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 201 - 215
  • [8] DESIGN OF A COMPILER FOR LAZY PATTERN DRIVEN NARROWING
    WOLZ, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 534 : 362 - 379
  • [9] 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
  • [10] Lazy narrowing: Strong completeness and eager variable elimination
    Middeldorp, A
    Okui, S
    Ida, T
    THEORETICAL COMPUTER SCIENCE, 1996, 167 (1-2) : 95 - 130
12345