π: Towards a Simple Formal Semantic Framework for Compiler Construction

被引：0
|
作者：
Braga, Christiano [1 ,2 ]
机构：
[1] Univ Fed Fluminense, Inst Comp, Niteroi, RJ, Brazil
[2] Univ Complutense Madrid, FADoSS Res Grp, Madrid, Spain
来源：
SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING | 2019年
关键词：
Program semantics; Program reasoning; Compilers; MODULAR REWRITING SEMANTICS;
D O I：
10.1145/3297280.3299740
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Compiler construction is considered an intimidating discipline in Computer Science and related courses. This is perhaps captured quite graphically by the cover of the standard book on the subject, the so-called "Dragon book", by Alfred V. Aho, Jeffrey D. Ullman and later on with Ravi Sethi and Monica S. Lam. There are "red", "green" and "purple dragon" editions, but the Dragon, representing how burdensome people think of the subject, is always there. The aim of this paper is to introduce pi, a formal semantic framework for compiler construction together with program validation and its implementation in the Maude language that aims at easing the process of compiler construction in a rigorous way.
引用
收藏
页码：1562 / 1569
页数：8
相关论文
共 50 条
  • [21] Tinyrossa: A Compiler Framework for Vertical, Verified Construction of Smalltalk VMs
    Vran, Jan
    Shingarov, Boris
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING COMPANION 2024, 2024, : 43 - 46
  • [22] A FORMAL FRAMEWORK FOR DESCRIBING AND CLASSIFYING SEMANTIC DATA MODELS
    STACHOWITZ, RA
    INFORMATION SYSTEMS, 1985, 10 (01) : 77 - 96
  • [23] Toward a Formal Semantic Framework for Deterministic Parallel Programming
    Lu, Li
    Scott, Michael L.
    DISTRIBUTED COMPUTING, 2011, 6950 : 460 - 474
  • [24] Towards a semantic framework for service description
    Dumas, M
    O'Sullivan, J
    Heravizadeh, M
    Edmond, D
    ter Hofstede, A
    SEMANTIC ISSUES IN E-COMMERCE SYSTEMS, 2003, 111 : 277 - 291
  • [25] UDIR: Towards a Unified Compiler Framework for Reconfigurable Dataflow Architectures
    Agarwal, Nikhil
    Fream, Mitchell
    Ghosh, Souradip
    Schwedock, Brian C.
    Beckmann, Nathan
    IEEE COMPUTER ARCHITECTURE LETTERS, 2024, 23 (01) : 99 - 103
  • [26] Α simple compiler-compiler for microcomputer
    Mössenböck, H.
    IT - Information Technology, 1984, 26 (1-6): : 186 - 194
  • [27] Towards a formal framework for distributed identity management
    He, JS
    Zhang, R
    WEB TECHNOLOGIES RESEARCH AND DEVELOPMENT - APWEB 2005, 2005, 3399 : 913 - 924
  • [28] Towards a formal framework for heterogeneous relation algebra
    Hattensperger, C
    Kempf, P
    INFORMATION SCIENCES, 1999, 119 (3-4) : 193 - 203
  • [29] Towards a Formal Framework for Normative Requirements Elicitation
    Feng, Nick
    Marsso, Lina
    Yaman, Sinem Getir
    Townsend, Beverley
    Cavalcanti, Ana
    Calinescu, Radu
    Chechik, Marsha
    2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 1776 - 1780
  • [30] Towards a Formal Framework of Vulnerability to Climate Change
    Ionescu, Cezar
    Klein, Richard J. T.
    Hinkel, Jochen
    Kumar, K. S. Kavi
    Klein, Rupert
    ENVIRONMENTAL MODELING & ASSESSMENT, 2009, 14 (01) : 1 - 16
12345