A generative methodology for the design of abstract machines

被引：1
|
作者：
Diehl, S [1 ]
机构：
[1] Univ Saarland, FB Informat 14, D-66041 Saarbrucken, Germany
来源：
SCIENCE OF COMPUTER PROGRAMMING | 2000年 / 38卷 / 1-3期
关键词：
abstract machines; natural semantics; compiler generation;
D O I：
10.1016/S0167-6423(99)00047-7
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we demonstrate how to use a semantics-directed generator to systematically design abstract machines. The main novelty of the generator is that it generates compilers and abstract machines. The generator is fully automated and its core transformations are proved correct. In this paper we propose a design methodology based on our generator and as an example we design a functional abstract machine which turns out to be very similar to the categorial abstract machine. (C) 2000 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：125 / 142
页数：18
相关论文
共 50 条
  • [21] INTERACTING ABSTRACT MACHINES
    WINKOWSKI, J
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1972, 20 (02): : 181 - +
  • [22] CONCURRENT ABSTRACT MACHINES
    BERRY, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 494 : 49 - 49
  • [23] Integrated methodology for the design of parallel kinematic machines (PKM)
    Tossati, L.Molinari
    Bianchi, G.
    Fassi, I.
    Boer, C.R.
    Jovane, F.
    CIRP Annals - Manufacturing Technology, 1998, 47 (01): : 341 - 345
  • [24] An integrated methodology for the design of Parallel Kinematic Machines (PKM)
    Tosatti, LM
    Bianchi, G
    Fassi, I
    Boer, CR
    Jovane, F
    CIRP ANNALS 1998 - MANUFACTURING TECHNOLOGY, VOL 47, NO 1, 1998, 47 : 341 - 345
  • [25] Abstract parallel machines
    O'Donnell, J
    Rünger, G
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 2000, 19 (02): : 105 - 129
  • [26] Abstracting Abstract Machines
    Van Horn, David
    Might, Matthew
    ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2010, : 51 - 62
  • [27] Abstract λ-Calculus Machines
    Kluge, Werner E.
    CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, 2008, 5161 : 112 - 157
  • [28] Principles of abstract machines
    Diehl, S
    Hartel, PH
    Sestoft, P
    FUTURE GENERATION COMPUTER SYSTEMS, 2000, 16 (07) : V - VI
  • [29] COMPOSED ABSTRACT MACHINES
    WINKOWSKI, J
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1972, 20 (05): : 407 - +
  • [30] Distilling Abstract Machines
    Accattoli, Beniamino
    Barenbaum, Pablo
    Mazza, Damiano
    ICFP'14: PROCEEDINGS OF THE 2014 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2014, : 363 - 376
12345