Resource-bounded partial evaluation

被引：3
|
作者：
Danvy, O [1 ]
Hentze, N [1 ]
Malmkjaer, K [1 ]
机构：
[1] AT&T BELL LABS,MURRAY HILL,NJ 07974
来源：
ACM COMPUTING SURVEYS | 1996年 / 28卷 / 02期
关键词：
D O I：
10.1145/234528.234741
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
[No abstract available]
引用
收藏
页码：329 / 332
页数：4
相关论文
共 50 条
  • [1] Resource-bounded partial evaluation
    Debray, S
    ACM SIGPLAN NOTICES, 1997, 32 (12) : 179 - 192
  • [2] Resource-bounded strong dimension versus resource-bounded category
    Hitchcock, JM
    Pavan, A
    INFORMATION PROCESSING LETTERS, 2005, 95 (03) : 377 - 381
  • [3] Partial global flexible scheduling for coordinating resource-bounded agents
    Mouaddib, AI
    INTERNATIONAL CONFERENCE ON MULTI-AGENT SYSTEMS, PROCEEDINGS, 1998, : 453 - 454
  • [4] On the Complexity of Resource-Bounded Logics
    Alechina, Natasha
    Bulling, Nils
    Demri, Stephane
    Logan, Brian
    REACHABILITY PROBLEMS, RP 2016, 2016, 9899 : 36 - 50
  • [5] Resource-bounded measure and learnability
    Lindner, W
    Schuler, R
    Watanabe, O
    THEORY OF COMPUTING SYSTEMS, 2000, 33 (02) : 151 - 170
  • [6] On pseudorandomness and resource-bounded measure
    Arvind, V
    Köbler, J
    THEORETICAL COMPUTER SCIENCE, 2001, 255 (1-2) : 205 - 221
  • [7] Resource-bounded fraud detection
    Torgo, Luis
    PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4874 : 449 - 460
  • [8] On the complexity of resource-bounded logics
    Alechina, N.
    Bulling, N.
    Demri, S.
    Logan, B.
    THEORETICAL COMPUTER SCIENCE, 2018, 750 : 69 - 100
  • [9] Resource-bounded reasoning and paraconsistency
    Allen, M
    Jennings, RE
    IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, 2001, : 796 - 802
  • [10] Resource-bounded paraconsistent inference
    Marquis, P
    Porquet, N
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2003, 39 (04) : 349 - 384
12345