SPACE-EFFICIENT OPTIMIZATION OF CALL-BY-NEED.

被引:0
|
作者
Burton, F.Warren [1 ]
Maurer, Dieter [1 ]
Oberhauser, Hans-Georg [1 ]
Wilhelm, Reinhard [1 ]
机构
[1] Univ of Utah, Salt Lake City, UT,, USA, Univ of Utah, Salt Lake City, UT, USA
关键词
D O I
暂无
中图分类号
学科分类号
摘要
12
引用
收藏
页码:636 / 642
相关论文
共 50 条
  • [11] Space-Efficient Informational Redundancy
    Glasser, Christian
    ALGORITHMS AND COMPUTATION, PROCEEDINGS, 2008, 5369 : 448 - 459
  • [12] SPACE-EFFICIENT PARALLEL MERGING
    KATAJAINEN, J
    LEVCOPOULOS, C
    PETERSSON, O
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 605 : 37 - 49
  • [13] Space-Efficient Graph Kernelizations
    Kammer, Frank
    Sajenko, Andrej
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, TAMC 2024, 2024, 14637 : 260 - 271
  • [14] Space-Efficient Time-Series Call-Path Profiling of Parallel Applications
    Szebenyi, Zoltan
    Wolf, Felix
    Wylie, Brian J. N.
    PROCEEDINGS OF THE CONFERENCE ON HIGH PERFORMANCE COMPUTING NETWORKING, STORAGE AND ANALYSIS, 2009,
  • [15] The Space-Efficient Core of Vadalog
    Berger, Gerald
    Gottlob, Georg
    Pieris, Andreas
    Sallinger, Emanuel
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 2022, 47 (01):
  • [16] Space-efficient informational redundancy
    Glasser, Christian
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2010, 76 (08) : 792 - 811
  • [17] A space-efficient call-by-value virtual machine for gradual set-theoretic types
    Castagna, Giuseppe
    Duboc, Guillaume
    Lanvin, Victor
    Siek, Jeremy G.
    PROCEEDINGS OF THE 31ST SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2019, 2019,
  • [18] Space-efficient bounded model checking
    Katz, J
    Hanna, Z
    Dershowitz, N
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 686 - 687
  • [19] A Framework for Space-Efficient String Kernels
    Djamal Belazzougui
    Fabio Cunial
    Algorithmica, 2017, 79 : 857 - 883
  • [20] A Framework for Space-Efficient String Kernels
    Belazzougui, Djamal
    Cunial, Fabio
    ALGORITHMICA, 2017, 79 (03) : 857 - 883