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
来源：
IEEE Transactions on Software Engineering | 1987年 / SE-13卷 / 06期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
12
引用
收藏
页码：636 / 642
相关论文
共 50 条
  • [1] A SPACE-EFFICIENT OPTIMIZATION OF CALL-BY-NEED
    BURTON, FW
    MAURER, D
    OBERHAUSER, HG
    WILHELM, R
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (06) : 636 - 642
  • [2] Space-efficient binary optimization for variational quantum computing
    Glos, Adam
    Krawiec, Aleksandra
    Zimboras, Zoltan
    NPJ QUANTUM INFORMATION, 2022, 8 (01)
  • [3] Space-efficient binary optimization for variational quantum computing
    Adam Glos
    Aleksandra Krawiec
    Zoltán Zimborás
    npj Quantum Information, 8
  • [4] Quantum Optimization for the Graph Coloring Problem with Space-Efficient Embedding
    Tabi, Zsolt
    El-Safty, Kareem H.
    Kallus, Zsofia
    Haga, Peter
    Kozsik, Tamas
    Glos, Adam
    Zimboras, Zoltan
    IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING (QCE20), 2020, : 56 - 62
  • [5] Space-Efficient Manifest Contracts
    Greenberg, Michael
    ACM SIGPLAN NOTICES, 2015, 50 (01) : 181 - 194
  • [6] Space-efficient gradual typing
    Herman D.
    Tomb A.
    Flanagan C.
    Higher-Order and Symbolic Computation, 2010, 23 (02) : 167 - 189
  • [7] SPACE-EFFICIENT PARALLEL MERGING
    KATAJAINEN, J
    LEVCOPOULOS, C
    PETERSSON, O
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1993, 27 (04): : 295 - 310
  • [8] Space-Efficient Latent Contracts
    Greenberg, Michael
    TRENDS IN FUNCTIONAL PROGRAMMING (TFP 2016), 2019, 10447 : 3 - 23
  • [9] The Space-Efficient Core of Vadalog
    Berger, Gerald
    Gottlob, Georg
    Pieris, Andreas
    Sallinger, Emanuel
    PROCEEDINGS OF THE 38TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS '19), 2019, : 270 - 284
  • [10] Space-efficient search algorithms
    Korf, RE
    ACM COMPUTING SURVEYS, 1995, 27 (03) : 337 - 339
12345