Concepedia

Abstract Syntax Tree Annotation

Abstract Syntax Tree Annotation is a formal method that enriches an abstract syntax tree with supplementary metadata or semantic information to support program analysis, transformation, or compilation processes.

14

Publications

748

Citations

33

Authors

16

Institutions

Publications per year

2017–2026

6

Parents

Publications

14

MetaML and multi-stage programming with explicit annotations

Walid Taha, Tim Sheard · Theoretical Computer Science · 2000 · 332 citations

, , +13

Challenges for Static Analysis of Java Reflection - Literature Review and Empirical Study

Davy Landman, Alexander Serebrenik, Jurgen Vinju · 2017 · 106 citations · Full text

, , +14

A Multi-Modal Transformer-based Code Summarization Approach for Smart Contracts

Zhen Yang, Jacky Keung, Xiao Yu et al. · 2021 · 63 citations

, , +16

Weakest pre-condition reasoning for Java programs with JML annotations

Bart Jacobs · The Journal of Logic and Algebraic Programming · 2003 · 51 citations

, , +14

Parse-tree annotations meet re-engineering concerns

J. de Kort, Ralf Lämmel · 2004 · 34 citations

, , +16

1–5 of 14

Authors

33

  1. AS
    Alexander Serebrenik

    Eindhoven University of Technology, Netherlands

    2 publications · 125 citations

    2

    h-index

  2. DL
    Davy Landman

    Centrum Wiskunde & Informatica, Netherlands

    1 publications · 106 citations

    1

    h-index

  3. MZ
    Miao Zhang

    City University of Hong Kong, Hong Kong SAR China

    1 publications · 63 citations

    1

    h-index

  4. JV
    Josef van Genabith

    Dublin City University, Ireland

    1 publications · 20 citations

    1

    h-index

  5. RL
    Ralf Lämmel

    Centrum Wiskunde & Informatica, Netherlands

    1 publications · 34 citations

    1

    h-index

1–5 of 33

Institutions

16

  1. Eindhoven University of Technology

    Eindhoven, The Netherlands

    2 h-index

    5 publications

    269 citations

  2. Radboud University Nijmegen

    Nijmegen, The Netherlands

    1 h-index

    1 publications

    51 citations

  3. Vrije Universiteit Amsterdam

    Amsterdam, The Netherlands

    1 h-index

    2 publications

    68 citations

  4. City University of Hong Kong

    Hong Kong, Hong Kong

    1 h-index

    5 publications

    315 citations

  5. Oregon Health & Science University

    Portland, United States

    1 h-index

    2 publications

    664 citations

  6. Aichi Prefectural University

    Nagoya, Japan

    1 h-index

    1 publications

    28 citations

  7. Delft University of Technology

    Delft, The Netherlands

    1 h-index

    3 publications

    54 citations

  8. Shanghai Jiao Tong University

    Shanghai, China

    1 h-index

    1 publications

    63 citations

1–8 of 16

Venues

  1. Research on Language and Computation

    1 publications · 20 citations

    1

    h-index

  2. Theoretical Computer Science

    1 publications · 332 citations

    1

    h-index

  3. 1

    h-index

  4. ACM SIGAda Ada Letters

    1 publications · 18 citations

    1

    h-index

  5. Electronics

    1 publications · 11 citations

    1

    h-index

1–5