Supporting Ada in the ROSE Compiler
Manual code maintenance of large code bases is tedious, time-consuming, and error-prone. To enable the engineering of source code maintenance tools for Ada, a mature infrastructure that provides capabilities for parsing, unparsing, semantic analysis, and transformations is needed. This work discusses our progress of adding Ada support to ROSE, a mature source-to-source translation infrastructure. The paper discusses the design of ROSE, the extensions required for adding Ada, difficulties we encountered with processing existing code bases, and several prototype analysis and translation tools enabled by the new Ada support in ROSE.
Authors
- Peter Pirkelbauer (ORCID: https://orcid.org/0000-0003-4185-5008)
- Chunhua Liao (ORCID: https://orcid.org/0000-0001-6477-0547)
- Pei‐Hung Lin (ORCID: https://orcid.org/0000-0003-4977-814X)
- Daniel J. Quinlan (ORCID: https://orcid.org/0000-0001-7467-9173)
- C. Patrick Reynolds (ORCID: https://orcid.org/0000-0002-2827-8536)
- David Wright (ORCID: https://orcid.org/0000-0003-3690-9593)
Institutions
- Lawrence Livermore National Laboratory (US)
Publication Details
- Journal
- ACM SIGAda Ada Letters
- Published
- 2024-12-02
- DOI
- https://doi.org/10.1145/3706601.3706619
- Primary Topic
- Logic, programming, and type systems
- Type
- article
- Field-Weighted Citation Impact
- 0.00