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 条
  • [41] COMX: a design methodology using communicating X-machines
    Barnard, J
    INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (5-6) : 271 - 280
  • [42] Design methodology for high-speed synchronous reluctance machines
    Babetto, Cristian
    Bacco, Giacomo
    Bianchi, Nicola
    IET ELECTRIC POWER APPLICATIONS, 2018, 12 (08) : 1110 - 1116
  • [43] A Multi-Tier Design Methodology for Reconfigurable Milling Machines
    Azulay, Hay
    Mills, James K.
    Benhabib, Beno
    JOURNAL OF MANUFACTURING SCIENCE AND ENGINEERING-TRANSACTIONS OF THE ASME, 2014, 136 (04):
  • [44] A methodology for the design of configurable computing machines for software radio handsets
    Ghali, K
    Hammami, O
    Hermann, I
    PROCEEDINGS OF THE 46TH IEEE INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS & SYSTEMS, VOLS 1-3, 2003, : 815 - 818
  • [45] A methodology for design and reconfiguration of reconfigurable bending press machines (RBPMs)
    Gwangwava, Norman
    Mpofu, Khumbulani
    Tlale, Nkgatho
    Yu, Yan
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2014, 52 (20) : 6019 - 6032
  • [46] A methodology for urban planning generation: A novel approach based on generative design
    Perez-Martinez, Ignacio
    Martinez-Rojas, Maria
    Soto-Hidalgo, Jose Manuel
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2023, 124
  • [47] Generative Design Methodology and Framework Exploiting Designer-Algorithm Synergies
    Gradisar, Luka
    Klinc, Robert
    Turk, Ziga
    Dolenc, Matevz
    BUILDINGS, 2022, 12 (12)
  • [48] Sequent Calculi and Abstract Machines
    Ariola, Zena M.
    Bohannon, Aaron
    Sabry, Amr
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2009, 31 (04):
  • [49] Environments and the Complexity of Abstract Machines
    Accattoli, Beniamino
    Barras, Bruno
    PROCEEDINGS OF THE 19TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2017), 2017, : 4 - 16
  • [50] Abstract and-parallel machines
    Lindenstrauss, N
    Dershowitz, N
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 2000, 19 (05): : 475 - 493
12345