Canonical Abstract Syntax Trees

被引:6
|
作者
Reilles, Antoine [1 ]
机构
[1] CNRS & LORIA, Campus Sci,BP 239, F-54506 Vandoeuvre Les Nancy, France
关键词
syntax trees; GOM; data representation; rewrite system;
D O I
10.1016/j.entcs.2007.06.014
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
This paper presents GOM, a language for describing abstract syntax trees and generating a Java implementation for those trees. GOM includes features allowing the user to specify and modify the interface of the data structure. These features provide in particular the capability to maintain the internal representation of data in canonical form with respect to a rewrite system. This explicitly guarantees that the client program only manipulates normal forms for this rewrite system, a feature which is only implicitly used in many implementations.
引用
收藏
页码:165 / 179
页数:15
相关论文
共 50 条
  • [1] Uniform abstract syntax trees
    Clark, C
    ACM SIGPLAN NOTICES, 2000, 35 (02) : 11 - 16
  • [2] AN ALGORITHM FOR GENERATING ABSTRACT SYNTAX TREES
    NOONAN, RE
    COMPUTER LANGUAGES, 1985, 10 (3-4): : 225 - 236
  • [3] Toward a calculus for abstract syntax trees
    Wile, DS
    ALGORITHMIC LANGUAGES AND CALCULI, 1997, : 324 - 353
  • [4] Migrating to an Extensible Architecture for Abstract Syntax Trees
    Couto, Luis Diogo
    Tran-Jorgensen, Peter W. V.
    Coleman, Joey W.
    Lausdahl, Kenneth
    2015 12TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA), 2015, : 145 - 154
  • [5] Augmenting abstract syntax trees for program understanding
    Welty, CA
    AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 126 - 133
  • [6] ASTLOG: A language for examining abstract syntax trees
    Crew, RF
    PROCEEDINGS OF THE CONFERENCE ON DOMAIN-SPECIFIC LANGUAGES, 1997, : 229 - 242
  • [7] Clone detection using abstract syntax trees
    Baxter, ID
    Yahin, A
    Moura, L
    Sant'Anna, M
    Bier, L
    INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 1998, : 368 - 377
  • [8] fAST: Flattening Abstract Syntax Trees for Efficiency
    Yu, Yijun
    2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2019), 2019, : 278 - 279
  • [9] Generalized Vulnerability Extrapolation using Abstract Syntax Trees
    Yamaguchi, Fabian
    Lottmann, Markus
    Rieck, Konrad
    28TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2012), 2012, : 359 - 368
  • [10] A Probabilistic Delta Debugging Approach for Abstract Syntax Trees
    Wang, Guancheng
    Wu, Yiqian
    Zhu, Qihao
    Xiong, Yingfei
    Zhang, Xin
    Zhang, Lu
    2023 IEEE 34TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, ISSRE, 2023, : 763 - 773