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 条
  • [31] Timed Memory in Resource-Bounded Agents
    Costantini, Stefania
    Formisano, Andrea
    Pitoni, Valentina
    AI*IA 2018 - ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, 11298 : 15 - 29
  • [32] Memory Management in Resource-Bounded Agents
    Pitoni, Valentina
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 452 - 460
  • [33] Resource-bounded searches in an information marketplace
    Lesser, V
    Horling, B
    Raja, A
    Zhang, XQ
    Wagner, T
    IEEE INTERNET COMPUTING, 2000, 4 (02) : 49 - 58
  • [34] Memory Management in Resource-Bounded Agents
    Costantini, Stefania
    Pitoni, Valentina
    ADVANCES IN ARTIFICIAL INTELLIGENCE, AI*IA 2019, 2019, 11946 : 46 - 58
  • [35] Resource-bounded measure on probabilistic classes
    Moser, Philippe
    INFORMATION PROCESSING LETTERS, 2008, 106 (06) : 241 - 245
  • [36] A Modal View on Resource-Bounded Propositional Logics
    Pardo, Pere
    STUDIA LOGICA, 2022, 110 (04) : 1035 - 1080
  • [37] A Modal View on Resource-Bounded Propositional Logics
    Pere Pardo
    Studia Logica, 2022, 110 : 1035 - 1080
  • [38] Resource-bounded information gathering for correlation clustering
    Kanani, Pallika
    McCallum, Andrew
    LEARNING THEORY, PROCEEDINGS, 2007, 4539 : 625 - +
  • [39] Resource-Bounded Intruders in Denial of Service Attacks
    Urquiza, Abraao Aires
    AlTurki, Musab A.
    Kanovich, Max
    Kirigin, Tajana Ban
    Nigam, Vivek
    Scedrov, Andre
    Talcott, Carolyn
    2019 IEEE 32ND COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2019), 2019, : 382 - 396
  • [40] Resource-bounded ATL: the Quest for Tractable Fragments
    Belardinelli, Francesco
    Demri, Stephane
    AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 206 - 214
12345