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 条
  • [31] ABSTRACT CRYPTOGRAPHIC MACHINES
    ECKER, A
    ANGEWANDTE INFORMATIK, 1975, (05): : 201 - 205
  • [32] PLAYING WITH ABSTRACT MACHINES
    PIOTROWSKI, JA
    COMPUTERS & EDUCATION, 1991, 17 (03) : 181 - 193
  • [33] Crumbling Abstract Machines
    Accattoli, Beniamino
    Condoluci, Andrea
    Guerrieri, Giulio
    Coen, Claudio Sacerdoti
    PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), 2019,
  • [34] Abstracting Abstract Machines
    Van Horn, David
    Might, Matthew
    ACM SIGPLAN NOTICES, 2010, 45 (09) : 51 - 62
  • [35] A generative-AI-based design methodology for car frontal forms design
    Lu, Peng
    Hsiao, Shih-Wen
    Tang, Jian
    Wu, Fan
    ADVANCED ENGINEERING INFORMATICS, 2024, 62
  • [36] The abstract state machines method for modular design and analysis of programming languages
    Borger, Egon
    JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (02) : 417 - 439
  • [37] Abstract state machines and high-level system design and analysis
    Börger, E
    THEORETICAL COMPUTER SCIENCE, 2005, 336 (2-3) : 205 - 207
  • [38] High level system design and analysis using abstract state machines
    Börger, E
    APPLIED FORMAL METHODS - FM-TRENDS 98, 1999, 1641 : 1 - 43
  • [39] IMPROVING GENERATIVE DESIGN BY COMBINING ABSTRACT GEOMETRY AND HIGHER-ORDER PROGRAMMING
    Leitao, Antonio M.
    PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED ARCHITECTURAL DESIGN RESEARCH IN ASIA (CAADRIA 2014): RETHINKING COMPREHENSIVE DESIGN: SPECULATIVE COUNTERCULTURE, 2014, : 575 - 584
  • [40] Actual Design Space Methodology for Preliminary Design Analysis of Switched Reluctance Machines
    Rocca, Roberto
    Capponi, Fabio Giulii
    De Donato, Giulio
    Papadopoulos, Savvas
    Caricchi, Federico
    Rashed, Mohamed
    Galea, Michael
    IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, 2021, 57 (01) : 397 - 408
12345