High-Fidelity C/C++ Code Transformation

Waddington, Daniel; Yao, Bin

doi:10.1016/j.entcs.2005.04.037

Cited by 23 publications

(4 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Coining the high-fidelity term in the scope of code transformations, Waddington and Yao have discussed their transformation system Proteus, supporting high-fidelity C++ code transformations [15]. As the underlying formalism, Proteus uses Literal-Layout ASTs (LL-ASTs), which augment simple ASTs first by adding nodes representing literals from their own grammar productions, and second by introducing layout nodes between every node.…”

Section: Discussion and Related Workmentioning

confidence: 99%

High-fidelity metaprogramming with separator syntax trees

Aarssen

Storm

2020

Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

View full text Add to dashboard Cite

Many metaprogramming tasks, such as refactorings, automated bug fixing, or large-scale software renovation, require high-fidelity source code transformations-transformations which preserve comments and layout as much as possible. Abstract syntax trees (ASTs) typically abstract from such details, and hence would require pretty printing, destroying the original program layout. Concrete syntax trees (CSTs) preserve all layout information, but transformation systems or parsers that support CSTs are rare and can be cumbersome to use. In this paper we present separator syntax trees (SSTs), a lightweight syntax tree format, that sits between AST and CSTs, in terms of the amount of information they preserve. SSTs extend ASTs by recording textual layout information separating AST nodes. This information can be used to reconstruct the textual code after parsing, but can largely be ignored when implementing high-fidelity transformations. We have implemented SSTs in Rascal, and show how it enables the concise definition of high-fidelity source code transformations using a simple refactoring for C++. CCS Concepts • Software and its engineering → Translator writing systems and compiler generators; Source code generation; Software maintenance tools.

show abstract

Section: Discussion and Related Workmentioning

confidence: 99%

High-fidelity metaprogramming with separator syntax trees

Aarssen

Storm

2020

Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

View full text Add to dashboard Cite

show abstract

“…We could convert code into a chosen reference language using language transformations. However, even if a transformation tool is available, mechanically transformed code may not be directly comparable with human written code in the same language [27].…”

Section: Approachmentioning

confidence: 99%

Measuring multi-language software evolution

Arbuckle

2011

Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th Annual ERCIM Workshop on Softwar

View full text Add to dashboard Cite

Characterising and measuring software developed in multiple languages is a problem for practitioners. Rather than a language-based approach, we avoid difficulties related to syntax, semantics and language paradigms by looking directly at relative shared information content to perform these tasks. Measuring, for each language, the relative number of bits of shared binary information between artefacts representative of consecutive releases of the project using a common tool permits the direct comparison of evolution results for the multiple languages. This paper presents a case study of the program suite called git, written in C, perl and Bourne shell. The study uses this method to show that, for git, code in scripting languages does not prototype later C, Bourne shell and C code are written together and that the languages' code contributions occur concurrently.

show abstract

“…The Proteus [54] project at Lucent, USA, has built a C/C++ transformation framework based on Stratego. The syntax is defined in SDF.…”

Section: C/c++mentioning

confidence: 99%

Stratego/XT 0.17. A language and toolset for program transformation

Bravenboer¹,

Kalleberg

Vermaas³

et al. 2008

Science of Computer Programming

275

238

View full text Add to dashboard Cite

a b s t r a c tStratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules, concrete syntax for expressing the patterns of rules in the syntax of the object language, and dynamic rewrite rules for expressing context-sensitive transformations, thus supporting the development of transformation components at a high level of abstraction. The XT toolset offers a collection of flexible, reusable transformation components, and tools for generating such components from declarative specifications. Complete program transformation systems are composed from these components. This paper gives an overview of Stratego/XT 0.17, including a description of the Stratego language and XT transformation tools; a discussion of the implementation techniques and software engineering process; and a description of applications built with Stratego/XT.

show abstract

High-Fidelity C/C++ Code Transformation

Cited by 23 publications

References 8 publications

High-fidelity metaprogramming with separator syntax trees

High-fidelity metaprogramming with separator syntax trees

Measuring multi-language software evolution

Stratego/XT 0.17. A language and toolset for program transformation

Contact Info

Product

Resources

About