TIM - A SIMPLE, LAZY ABSTRACT MACHINE TO EXECUTE SUPERCOMBINATORS

被引：0
|
作者：
FAIRBAIRN, J [1 ]
WRAY, S [1 ]
机构：
[1] OLIVETTI RES,CAMBRIDGE CB2 3NJ,ENGLAND
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 274卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：34 / 45
页数：12
相关论文
共 50 条
  • [1] A SIMPLE ABSTRACT MACHINE TO EXECUTE SUPERCOMBINATORS
    FAIRBAIRN, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 279 : 49 - 52
  • [2] AN INTRODUCTION TO FULLY-LAZY SUPERCOMBINATORS
    JONES, SLP
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 242 : 176 - 208
  • [3] An abstract machine for parallel lazy evaluation
    Baker-Finch, C
    TRENDS IN FUNCTIONAL PROGRAMMING, 2000, : 153 - 161
  • [4] 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
  • [5] Simple Isolation for an Actor Abstract Machine
    Claudel, Benoit
    Sabah, Quentin
    Stefani, Jean-Bernard
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2015, 2015, 9039 : 213 - 227
  • [6] Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation
    Nguyen, Truc L.
    Inverso, Omar
    Fischer, Bernd
    La Torre, Salvatore
    Parlato, Gennaro
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT II, 2017, 10206 : 375 - 379
  • [7] A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
    Biernacka, Malgorzata
    Charatonik, Witold
    Drab, Tomasz
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (ICFP):
  • [8] LAZY NARROWING IN A GRAPH MACHINE
    MORENONAVARRO, JJ
    KUCHEN, H
    LOOGEN, R
    RODRIGUEZARTALEJO, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 298 - 317
  • [9] A Lazy Approach for Machine Learning Algorithms
    Galvan, Ines M.
    Valls, Jose M.
    Lecomte, Nicolas
    Isasi, Pedro
    ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS III, 2009, : 517 - 522
  • [10] A Lazy Approach for Machine Learning Algorithms
    Galván, Inés M.
    Valls, José M.
    Lecomte, Nicolas
    Isasi, Pedro
    IFIP Advances in Information and Communication Technology, 2009, 296 : 517 - 522
12345