TIM - A SIMPLE, LAZY ABSTRACT MACHINE TO EXECUTE SUPERCOMBINATORS

被引:0
|
作者
FAIRBAIRN, J [1 ]
WRAY, S [1 ]
机构
[1] OLIVETTI RES,CAMBRIDGE CB2 3NJ,ENGLAND
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:34 / 45
页数:12
相关论文
共 50 条
  • [21] THE CHEMICAL ABSTRACT MACHINE
    BERRY, G
    BOUDOL, G
    THEORETICAL COMPUTER SCIENCE, 1992, 96 (01) : 217 - 248
  • [22] ABSTRACT MACHINE FOR LDL
    CHIMENTI, D
    GAMBOA, R
    KRISHNAMURTHY, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 416 : 153 - 168
  • [23] Mitochondrial biogenesis: The Tom and Tim machine
    Pfanner, N
    Meijer, M
    CURRENT BIOLOGY, 1997, 7 (02) : R100 - R103
  • [24] The Vienna Abstract Machine
    Krall, A
    JOURNAL OF LOGIC PROGRAMMING, 1996, 29 (1-3): : 85 - 106
  • [25] The Vienna abstract machine
    Krall, Andreas
    Journal of Logic Programming, 29 (1-3): : 85 - 106
  • [26] THE LINEAR ABSTRACT MACHINE
    LAFONT, Y
    THEORETICAL COMPUTER SCIENCE, 1988, 59 (1-2) : 157 - 180
  • [27] An abstract machine for Oz
    Mehl, M
    Scheidhauer, R
    Schulte, C
    PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS, 1995, 982 : 151 - 168
  • [28] A neural abstract machine
    Börger, E
    Sona, D
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (11) : 1006 - 1023
  • [29] DISTRIBUTED ABSTRACT MACHINE
    SCHINDLER, S
    COMPUTER COMMUNICATIONS, 1980, 3 (05) : 208 - 220
  • [30] The Euclid abstract machine
    Mycka, Jerzy
    Costa, Jose Felix
    Coelho, Francisco
    INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, 2008, 4 (03) : 223 - 247