π: 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 条
  • [1] A Framework for Formal Verification of Compiler Optimizations
    Mansky, William
    Gunter, Elsa
    INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 371 - 386
  • [2] Semantic specification language for compiler construction
    Chi Wu, Pei-Chi
    Jian Wang, Feng-Jian
    Tzay Yang, JiTzay
    Proceedings of the National Science Council, Republic of China, Part A: Physical Science and Engineering, 1996, 20 (01): : 23 - 41
  • [3] Towards a Simple Service Compiler
    Kiciman, Emre
    6TH INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND COMMUNICATION, ICAC-INDUST'09, 2009, : 1 - 1
  • [4] A Framework for Incremental Extensible Compiler Construction
    Steven Carroll
    Constantine Polychronopoulos
    International Journal of Parallel Programming, 2004, 32 : 289 - 316
  • [5] Formal framework for semantic interoperability
    Ayadi, Nadia Yaacoubi
    Ben Ahmed, Mohamed
    Pollet, Yann
    ICSOFT 2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2006, : 139 - +
  • [6] A framework for incremental extensible compiler construction
    Carroll, S
    Polychronopoulos, C
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2004, 32 (04) : 289 - 316
  • [7] Towards formal interpretation of semantic annotation
    Bunt, Harry
    Overbeeke, Chwhynny
    SIXTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, LREC 2008, 2008, : 343 - 350
  • [8] Towards a formal framework for choreography
    Busi, N
    Gorrieri, R
    Guidi, C
    Lucchi, R
    Zavattaro, G
    FOURTEENTH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2005, : 107 - 112
  • [9] A framework for semantic map construction
    Ibraheem, Basem
    Hamdy, Abeer
    Darwish, Nevien
    International Journal of Computer Science Issues, 2012, 9 (5 5-2): : 206 - 215
  • [10] A formal framework for description of semantic web services
    Jiang Zhixiong
    Qian Leqiu
    Pen xin
    2007 CIT: 7TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2007, : 1065 - 1070
12345